No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2073220732 
abstract part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 76817681 
before or equal is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
MilitaryProcesses.kif 16801680 
coordinates is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1657816578 
geometric part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 17821782 
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 31403140 
initial list is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 17651765 
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 872872 
part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 652652 
sub attribute is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 11821182 
sub collection is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Languages.kif 1446814468 
subLanguage is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 30073007 
sub list is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1554615546 
sub organization is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 94989498 
sub process is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 129129 
subclass is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 168168 
subrelation is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 43074307 
subsumes content class is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 43574357 
subsumes content instance is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 75007500 
temporal part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 22752275 
Total ordering relation is a subclass of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
chinese_format.kif 901901 

No TPTP formula. May not be expressible in strict first order. 
english_format.kif 10141014 
