| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1854-1855 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2271-2273 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2267-2267 | Partial ordering relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2268-2268 | Partial ordering relation is a subclass of reflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2269-2269 | Partial ordering relation is a subclass of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2266-2266 | Partial ordering relation is a subclass of transitive relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20732-20732 | abstract part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7681-7681 | before or equal is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1680-1680 | coordinates is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16578-16578 | geometric part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1782-1782 | greater than or equal to is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3140-3140 | initial list is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1765-1765 | less than or equal to is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 872-872 | part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 652-652 | sub attribute is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | sub collection is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14468-14468 | subLanguage is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3007-3007 | sub list is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15546-15546 | sub organization is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9498-9498 | sub process is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 129-129 | subclass is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 168-168 | subrelation is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4307-4307 | subsumes content class is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4357-4357 | subsumes content instance is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7500-7500 | temporal part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2275-2275 | Total ordering relation is a subclass of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 901-901 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1014-1014 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners