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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subField

 Sigma KEE - subField
subField

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21343-21345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21341-21341 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 21342-21342 Le nombre 2 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 21340-21340 subField est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21339-21339 subField est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21338-21338 subField est une sous-relation de subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4686-4686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4685-4685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4684-4684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55722-55722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55721-55721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55720-55720

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21250-21250 subField Botany and Biology
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21209-21209 subField Cartography and Geography
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21287 subField ElectricalEngineering and Engineering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21292-21292 subField Electronics and Engineering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21291-21291 subField Electronics and Physics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21307-21307 subField MechanicalEngineering and Engineering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21300-21300 subField Mechanics and Mathematics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21301-21301 subField Mechanics and Physics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21240-21240 subField MedicalScience and Biology
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21235-21235 subField Physiology and Biology
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21297-21297 subField PowerElectronics and Electronics
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21244-21244 subField VeterinaryScience and MedicalScience
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21255-21255 subField Zoology and Biology


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