|
|
   PartialOrderingRelation
|
|
|
| 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 | Relation partiellement dirig�e est une sous-classe de relation antisym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | Relation partiellement dirig�e est une sous-classe de relation r�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | Relation partiellement dirig�e est une sous-classe de relation total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | Relation partiellement dirig�e est une sous-classe de relation transitive |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | abstractPart est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8138-8138 | beforeOrEqual est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1699-1699 | coordinates est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17819-17819 | geometricPart est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1874-1874 | greaterThanOrEqualTo est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3293-3293 | initialList est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1857-1857 | lessThanOrEqualTo est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 915-915 | part est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | subAttribute est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1289-1289 | subCollection est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14476-14476 | subLanguage est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3119-3119 | subList est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | subOrganization est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | subProcess est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | subclass est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 170-170 | subrelation est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4518-4518 | subsumesContentClass est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4575-4575 | subsumesContentInstance est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7931-7931 | temporalPart est une instance de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | Relation totalement dirig�e est une sous-classe de relation partiellement dirig�e |
| 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 |
|
|
|