inspecter_TyRo193

inspecter_TyRo193

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

<span class="tlf_cdefinition">"Examiner et visiter en qualité d'inspecteur ou avec une mission officielle, afin de contrôler, de vérifier (le bon état de, le bon fonctionnement de)"[http://www.cnrtl.fr/definition/Inspecter].<br /></span>

Examples:

No example yet.

In First Order Logic:

  • inspecter_TyRo193(x,y) ⊃ (x)
  • inspecter_TyRo193(x,y) ⊃ (y)
  • inspecter_TyRo193(x,y) ⊃ objectRole(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
<span class="tlf_cdefinition">"Examiner et visiter en qualité d'inspecteur ou avec une mission officielle, afin de contrôler, de vérifier (le bon état de, le bon fonctionnement de)"[http://www.cnrtl.fr/definition/Inspecter].<br /></span> fr WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Labels

Label Language Last updated View details Comments

: Standard label for this language

Namespace

Namespace Last updated
symogih.org ontology v.1.3 ongoing 2019-05-14

Parent properties

Domain Property Range Justification Root namespace View association
symogih.org Entity – symogih objectRole object role symogih.org Entity – symogih symogih.org ontology

Ancestor properties

Domain Property Range Depth Root namespace
Temporal Entity – E2 (0,n) histP1 involves (0,n) Persistent Item – E77 2 Data for history
Thing topObjectProperty Thing 3 The OWL 2 Schema vocabulary

Childs and descendant properties

Domain Property Range Depth Root namespace
Inspection – TyIn152 inspecter_|_Inspection Objet – Obj 1 symogih.org ontology

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated

Comments