No TPTP formula. May not be expressible in strict first order. 
Merge.kif 82648264 
AfternoonFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 16791679 
Attr is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 853853 
Back is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80248024 
Day is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 45204520 
Division is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1433614336 
Edition is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 83618361 
EveningFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 16641664 
Extension is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 833833 
Front is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1551515515 
Government is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46254625 
Greatest common divisor is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80498049 
Hour is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 55765576 
Initial node is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46894689 
Integer square root is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52645264 
Kappa is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46974697 
Least common multiple is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 28652865 
List order is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80758075 
Minute is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80078007 
Month is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 82518251 
MorningFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1245712457 
Periodical issue is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 83928392 
QuarterFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 78797879 
Recurrent time interval is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48514851 
Remainder is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 81028102 
Second is an instance of partial valued relation 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 