| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30369-30374 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30367-30367 | O argumento numero 2 de habitatOfOrganism e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30366-30366 | O argumento numero 1 de habitatOfOrganism e' uma sub-classe de Organismo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30365-30365 | habitatOfOrganism e' uma instancia de Predicado Binario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3590-3590 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3589-3589 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3588-3588 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65846-65846 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30376-30383 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30385-30388 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20274-20274 | habitatOfOrganism Alligator and China |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20273-20273 | habitatOfOrganism Alligator and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20289-20289 | habitatOfOrganism Badger and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20288-20288 | habitatOfOrganism Badger and Asia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20287-20287 | habitatOfOrganism Badger and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20286-20286 | habitatOfOrganism Badger and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20303-20303 | habitatOfOrganism Bear and Asia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20302-20302 | habitatOfOrganism Bear and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20301-20301 | habitatOfOrganism Bear and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20304-20304 | habitatOfOrganism Bear and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30558-30558 | habitatOfOrganism Cheetah and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30557-30557 | habitatOfOrganism Cheetah and Asia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30536-30536 | habitatOfOrganism Crocodile and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30534-30534 | habitatOfOrganism Crocodile and Asia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30537-30537 | habitatOfOrganism Crocodile and Australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30533-30533 | habitatOfOrganism Crocodile and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30535-30535 | habitatOfOrganism Crocodile and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30538-30538 | habitatOfOrganism Crocodile and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20315-20315 | habitatOfOrganism Kangaroo and Australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30460-30460 | habitatOfOrganism Lemur and Madagascar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30360-30360 | habitatOfOrganism Lion and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30361-30361 | habitatOfOrganism Lion and India |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20324-20324 | habitatOfOrganism Llama and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20323-20323 | habitatOfOrganism Llama and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30477-30477 | habitatOfOrganism Panda and China |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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