No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20667-20667 |
abstract part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8331-8331 |
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 18288-18288 |
geometric part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1941-1941 |
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 3368-3368 |
initial list is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1923-1923 |
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 965-965 |
part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 714-714 |
sub attribute is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1324-1324 |
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 3323-3323 |
sub list is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17019-17019 |
sub organization is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10161-10161 |
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 186-186 |
subrelation is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4648-4648 |
subsumes content class is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4709-4709 |
subsumes content instance is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8144-8144 |
temporal part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2513-2513 |
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 769-769 |
"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. |
english_format.kif 770-770 |
"半順序関係" is the printable form of partial ordering relation in japanese language |