| 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 2381-2383 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 475-477 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2377-2377 | Partial ordering relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2378-2378 | Partial ordering relation is a subclass of reflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2379-2379 | Partial ordering relation is a subclass of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2376-2376 | 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 24434-24434 | abstract part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8251-8251 | before or equal is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1699-1699 | coordinates is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18002-18002 | geometric part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1884-1884 | 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 3306-3306 | initial list is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1867-1867 | 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 923-923 | part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 674-674 | sub attribute is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1299-1299 | sub collection is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14476-14476 | sub language is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3132-3132 | sub list is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16917-16917 | sub organization is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3766-3766 | sub process is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | subclass is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 164-164 | subrelation is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4546-4546 | subsumes content class is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4603-4603 | subsumes content instance is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8016-8016 | temporal part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2385-2385 | 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 | Total ordering relation is a subclass of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1009-1009 | Total ordering relation is a subclass of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 577-577 | Total ordering relation is a subclass of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 107-107 | Total ordering relation is a subclass of partial ordering relation |
| 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