No TPTP formula. May not be expressible in strict first order. 
Merge.kif 88338833 
Afternoon of is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 17751775 
Attr is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 896896 
Back is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 85878587 
Day is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47414741 
Division is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1550715507 
Edition is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 89338933 
Evening fn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 17601760 
Extension is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 876876 
Front is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1671116711 
Government is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48464846 
Greatest common divisor is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 86128612 
Hour is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 59215921 
Initial node is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 49224922 
Integer square root is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 55815581 
Kappa is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 49304930 
Least common multiple is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 29762976 
List order is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 86388638 
Minute is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 85708570 
Month is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 88178817 
Morning fn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1466114661 
Periodical issue is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 89678967 
Quarter fn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 84438443 
Recurrent time interval is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 50955095 
Remainder is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 86658665 
Second is an instance of partial valued relation 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 