No TPTP formula. May not be expressible in strict first order. 
Merge.kif 83028302 
AfternoonFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 16841684 
Attr is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 854854 
Back is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80618061 
Day is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 45584558 
Division is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1437314373 
Edition is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 83998399 
EveningFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 16691669 
Extension is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 834834 
Front is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1556615566 
Government is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46634663 
Greatest common divisor is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80868086 
Hour is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 56115611 
Initial node is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47274727 
Integer square root is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52995299 
Kappa is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47354735 
Least common multiple is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 28702870 
List order is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 81128112 
Minute is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 80448044 
Month is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 82898289 
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 84308430 
QuarterFn is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 79167916 
Recurrent time interval is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48894889 
Remainder is an instance of partial valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 81398139 
Second is an instance of partial valued relation 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 