PartialOrderingRelation(partial ordering relation) |
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 2370-2372 | |
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 2366-2366 | Partial ordering relation is a subclass of antisymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | Partial ordering relation is a subclass of reflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | Partial ordering relation is a subclass of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | 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 22793-22793 | abstract part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8138-8138 | 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 17819-17819 | geometric part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1874-1874 | 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 3293-3293 | initial list is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1857-1857 | 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 915-915 | part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | sub attribute is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1289-1289 | 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 3119-3119 | sub list is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | sub organization is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | 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 170-170 | subrelation is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4518-4518 | subsumes content class is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4575-4575 | subsumes content instance is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7931-7931 | temporal part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | 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 1009-1009 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 577-577 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 107-107 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |