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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16841-16846
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 16840-16840 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 21169-21169 Archeology est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21206-21206 Architecture 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 ElectricalEngineering est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21321-21321 Electronics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21362-21362 FieldOfLaw est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21354-21354 History est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21145-21145 InteriorDesign est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21137-21137 Literature est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21141-21141 Mathematics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21336-21336 MechanicalEngineering est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21330-21330 Mechanics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21351-21351 MilitaryScience est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21358-21358 Philosophy est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21326-21326 PowerElectronics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21149-21149 Science est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21310-21310 Statistics est une sous-classe de champ d'�tude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21341-21341 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 21377-21377 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 21369-21369 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 21370-21370 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 8320-8329


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



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