| PartialOrderingRelation(partial ordering relation) | | , عَلاقَة تَرْتِيْب جُزْئِي, Relacao_parcialmente_Ordenada, RelazioneDiOrdineParziale, aanshika_anukrama_sambandha, partial_ordering_relation, relation_partiellement_dirig�e, 偏序关系 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2487-2488 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2484-2486 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2481-2481 | Partial ordering relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2482-2482 | Partial ordering relation is a subclass of reflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2483-2483 | Partial ordering relation is a subclass of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2480-2480 | 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 20275-20275 | part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8282-8282 | before or equal is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1667-1667 | coordinates is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18150-18150 | geometric part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1918-1918 | 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 3345-3345 | initial list is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1900-1900 | 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 951-951 | part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 700-700 | sub attribute is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1307-1307 | 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 3300-3300 | sub list is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16881-16881 | sub organization is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10023-10023 | sub process is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 140-140 | subclass is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 184-184 | subrelation is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4617-4617 | subsumes content class is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4678-4678 | subsumes content instance is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8095-8095 | temporal part is an instance of partial ordering relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2490-2490 | 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 | "偏序关系" is the printable form of partial ordering relation in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 588-588 | "partial ordering relation" is the printable form of partial ordering relation in english language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 577-577 | "relation partiellement dirig�e" is the printable form of partial ordering relation in french language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 107-107 | "aanshika anukrama sambandha" is the printable form of partial ordering relation in Hindi |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|