No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48274827 
The number 1 argument of addition is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48284828 
The number 2 argument of addition is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48634863 
The number 1 argument of division is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48644864 
The number 2 argument of division is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 49464946 
The number 1 argument of exponentiation is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 47434743 
The number 1 argument of lift is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 47454745 
The number 2 argument of lift is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51015101 
The number 1 argument of max is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51025102 
The number 2 argument of max is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51285128 
The number 1 argument of min is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51295129 
The number 2 argument of min is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48134813 
The number 1 argument of multiplication is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48144814 
The number 2 argument of multiplication is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 77907790 
The number 1 argument of PerCapitaFn is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 51915191 
The number 1 argument of reciprocal is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52165216 
The number 1 argument of remainder is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52175217 
The number 2 argument of remainder is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 52545254 
The number 1 argument of round is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48434843 
The number 1 argument of subtraction is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48444844 
The number 2 argument of subtraction is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 60496049 
The number 2 argument of arc weight is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
QoSontology.kif 10361036 
The number 3 argument of benchmark performance is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1869118691 
The number 3 argument of defaultMaxValue is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 210210 
The number 2 argument of default maximum measure is an instance of quantity 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 238238 
The number 2 argument of default measure is an instance of quantity 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 