No TPTP formula. May not be expressible in strict first order. 
Merge.kif 83178317 
AfternoonFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 16831683 
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 80768076 
Day is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 45654565 
Division is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1438814388 
Edition is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 84148414 
EveningFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 16681668 
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 1558115581 
Government is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46704670 
Greatest common divisor is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 81018101 
Hour is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 56185618 
Initial node is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47344734 
Integer square root is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 53065306 
Kappa is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47424742 
Least common multiple is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 28692869 
List order is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 81278127 
Minute is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80598059 
Month is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 83048304 
MorningFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1243212432 
Periodical issue is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 84458445 
QuarterFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 79317931 
Recurrent time interval is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48964896 
Remainder is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 81548154 
Second is an instance of partial valued relation 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 