Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMinimumMeasure
defaultMinimumMeasure

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 182-182
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 181-181 The number 2 argument of default minimum measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 180-180 The number 1 argument of default minimum measure is a subclass of object
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 179-179 default minimum measure is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 811-811
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 183-183 "default minimum measure" is the printable form of default minimum measure in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 184-193
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 194-205

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 810-822
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 794-806
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 842-854
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 826-838
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 727-750
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 901-918
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 922-940
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 858-875
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 879-897

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 271-271 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 550-550 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 1231-1231 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 559-559 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 1256-1256 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 961-961 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 952-952 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 274-274 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 282-282 The minimum expected value of tub is 70 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 372-372 The minimum expected value of bathroom is 1 square yard(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1293-1293 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 1034-1034 The minimum expected value of battery is 1 Ounce(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 415-415 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 1016-1016 The minimum expected value of bell is 1 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 523-523 The minimum expected value of bidet is 4 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 973-973 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 1226-1226 The minimum expected value of bullet is 10 gram(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 424-424 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 451-451 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 1064-1064 The minimum expected value of camera is 1 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1279-1279 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 1165-1165 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 685-685 The minimum expected value of computer is 5 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 586-586 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 333-333 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners