No TPTP formula. May not be expressible in strict first order. 
Merge.kif 88688868 
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 86228622 
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 1555215552 
Edition is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 89688968 
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 1678216782 
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 86478647 
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 86738673 
Minute is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 86058605 
Month is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 88528852 
Morning fn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1468814688 
Periodical issue is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 90029002 
Quarter fn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 84788478 
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 87008700 
Second is an instance of partial valued relation 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 