| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26440-26442 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26437-26437 | The number 1 argument of post city is an instance of postal place |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26438-26438 | The number 2 argument of post city is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26435-26435 | post city is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26436-26436 | post city is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26439-26439 | post city is a subrelation of located |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4154-4154 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4153-4153 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4152-4152 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65952-65952 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26403-26408 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26410-26417 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26444-26449 | A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26364-26369 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26478-26483 |
|
|
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