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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumMeasure
defaultMaximumMeasure

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


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 211-211
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 210-210 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 209-209 The number 1 argument of default maximum measure is a subclass of object
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 208-208 default maximum 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 805-805
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 212-212 "default maximum measure" is the printable form of default maximum measure in english language

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


No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 213-222
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
No TPTP formula. May not be expressible in strict first order. Robot.kif 86-95

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 272-272 The maximum expected value of ac power source is 220 volt(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 551-551 The maximum expected value of am / fm alarm clock is 4 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1232-1232 The maximum expected value of arrow projectile is 3 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 560-560 The maximum expected value of cd player is 6 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1257-1257 The maximum expected value of automatic gun is 40 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 962-962 The maximum expected value of baseball base is 10 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 953-953 The maximum expected value of baseball bat is 2 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 275-275 The maximum expected value of tub is 150 united states gallon(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 283-283 The maximum expected value of tub is 200 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 373-373 The maximum expected value of bathroom is 16 square yard(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1294-1294 The maximum expected value of baton is 1.5 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1035-1035 The maximum expected value of battery is 30 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 416-416 The maximum expected value of bed frame is 200 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1017-1017 The maximum expected value of bell is 20 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 524-524 The maximum expected value of bidet is 100 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 974-974 The maximum expected value of bowling ball is 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1227-1227 The maximum expected value of bullet is 100 gram(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 425-425 The maximum expected value of bunk bed is 150 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 452-452 The maximum expected value of cable television system is 100 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1065-1065 The maximum expected value of camera is 15 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1280-1280 The maximum expected value of clothes dryer is 150 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 1166-1166 The maximum expected value of clothing is 3 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 686-686 The maximum expected value of computer is 30 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 587-587 The maximum expected value of cordless telephone is 7 pound mass(s)
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 334-334 The maximum expected value of crib is 100 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