| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21344-21346 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21342-21342 | O argumento numero 1 de subField e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21343-21343 | O argumento numero 2 de subField e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21341-21341 | subField e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21340-21340 | subField e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21339-21339 | subField e' uma sub-relacao 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 21251-21251 | subField Botany and Biology |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21210-21210 | subField Cartography and Geography |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21288-21288 | subField ElectricalEngineering and Engineering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21293-21293 | subField Electronics and Engineering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21292-21292 | subField Electronics and Physics |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21308-21308 | subField MechanicalEngineering and Engineering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21301-21301 | subField Mechanics and Mathematics |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21302-21302 | subField Mechanics and Physics |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21241-21241 | subField MedicalScience and Biology |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21236-21236 | subField Physiology and Biology |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21298-21298 | subField PowerElectronics and Electronics |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21245-21245 | subField VeterinaryScience and MedicalScience |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21256-21256 | subField Zoology and Biology |
|
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