No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 271271 
The minimum expected value of ac power source is 120 volt(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 550550 
The minimum expected value of am / fm alarm clock is 1 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 12311231 
The minimum expected value of arrow projectile is 0.5 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 559559 
The minimum expected value of cd player is 1 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 12561256 
The minimum expected value of automatic gun is 5 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 961961 
The minimum expected value of baseball base is 0.5 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 952952 
The minimum expected value of baseball bat is 1 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 274274 
The minimum expected value of tub is 40 united states gallon(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 282282 
The minimum expected value of tub is 70 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 372372 
The minimum expected value of bathroom is 1 square yard(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 12931293 
The minimum expected value of baton is 0.5 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 10341034 
The minimum expected value of battery is 1 Ounce(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 415415 
The minimum expected value of bed frame is 20 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 10161016 
The minimum expected value of bell is 1 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 523523 
The minimum expected value of bidet is 4 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 973973 
The minimum expected value of bowling ball is 2 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 12261226 
The minimum expected value of bullet is 10 gram(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 424424 
The minimum expected value of bunk bed is 60 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 451451 
The minimum expected value of cable television system is 10 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 10641064 
The minimum expected value of camera is 1 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 12791279 
The minimum expected value of clothes dryer is 45 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 11651165 
The minimum expected value of clothing is 0.1 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 685685 
The minimum expected value of computer is 5 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 586586 
The minimum expected value of cordless telephone is 3 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 333333 
The minimum expected value of crib is 30 pound mass(s) 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 