Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FieldOfStudy

 Sigma KEE - FieldOfStudy
FieldOfStudy(champ d'�tude)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3756-3758
No TPTP formula. May not be expressible in strict first order. Merge.kif 16770-16775
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11000-11000
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10999-10999
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10016-10016
No TPTP formula. May not be expressible in strict first order. Merge.kif 16769-16769 Champ d'�tude est une sous-classe de proposition

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21142-21142 Archeology est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21179-21179 Architecture est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21287 ElectricalEngineering est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21294-21294 Electronics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21335-21335 FieldOfLaw est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21327-21327 History est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21118-21118 InteriorDesign est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21110-21110 Literature est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21114-21114 Mathematics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21309-21309 MechanicalEngineering est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21303-21303 Mechanics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21324-21324 MilitaryScience est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21331-21331 Philosophy est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21299-21299 PowerElectronics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21122-21122 Science est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21283-21283 Statistics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21314-21314 Theology est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1231-1231
No TPTP formula. May not be expressible in strict first order. english_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order. french_format.kif 909-909
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 442-442
No TPTP formula. May not be expressible in strict first order. terms-it.txt 445-445
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2593-2593
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 861-861

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21350-21350 Le nombre 2 argument de hasExpertise est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21342-21342 Le nombre 1 argument de subField est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21343-21343 Le nombre 2 argument de subField est une sous-classe de champ d'�tude

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8293-8302


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners