No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20572-20572 |
abstract part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7547-7547 |
before or equal is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1680-1680 |
coordinates is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16441-16441 |
geometric part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1748-1748 |
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 3017-3017 |
initial list is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1731-1731 |
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 877-877 |
part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 653-653 |
sub attribute is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1187-1187 |
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 2975-2975 |
sub list is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15409-15409 |
sub organization is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9364-9364 |
sub process is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 129-129 |
subclass is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 168-168 |
subrelation is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4174-4174 |
subsumes content class is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4224-4224 |
subsumes content instance is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7366-7366 |
temporal part is an instance of partial ordering relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2241-2241 |
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 1014-1014 |
"partial ordering relation" is the printable form of partial ordering relation in english language |