No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2027520275 
part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 82828282 
before or equal is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
MilitaryProcesses.kif 16671667 
coordinates is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1815018150 
geometric part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 19181918 
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 33453345 
initial list is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 19001900 
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 951951 
part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 700700 
sub attribute is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 13071307 
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 33003300 
sub list is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1688116881 
sub organization is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1002310023 
sub process is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 140140 
subclass is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 184184 
subrelation is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46174617 
subsumes content class is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46784678 
subsumes content instance is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80958095 
temporal part is an instance of partial ordering relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24902490 
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 
"偏序关系" is the printable form of partial ordering relation in ChineseLanguage 
No TPTP formula. May not be expressible in strict first order. 
english_format.kif 588588 
"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 577577 
"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. 
termshindi.txt 107107 
"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 