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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMinimumHeight
defaultMinimumHeight

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


(documentation defaultMinimumHeight EnglishLanguage "A BinaryPredicate that states the assumed minimum height of an Object") DimensioningAmenities.kif 41-41
(domain defaultMinimumHeight 2 LengthMeasure) DimensioningAmenities.kif 40-40 The number 2 argument of default minimum height is an instance of length measure
(domainSubclass defaultMinimumHeight 1 Object) DimensioningAmenities.kif 39-39 The number 1 argument of default minimum height is a subclass of object
(instance defaultMinimumHeight BinaryPredicate) DimensioningAmenities.kif 38-38 default minimum height is an instance of binary predicate

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


(format EnglishLanguage defaultMinimumHeight "the minimum expected height of %1 is %2") domainEnglishFormat.kif 809-809
(termFormat EnglishLanguage defaultMinimumHeight "default minimum height") DimensioningAmenities.kif 42-42 "default minimum height" is the printable form of default minimum height in english language

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


(=>
    (defaultMinimumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (lessThan ?HEIGHT ?H))) Unlikely))
DimensioningAmenities.kif 43-50

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


(=>
    (and
        (instance ?R RollawayBed)
        (deviceState ?R DeviceClosed))
    (and
        (defaultMinimumHeight ?R
            (MeasureFn 24 Inch))
        (defaultMaximumHeight ?R
            (MeasureFn 36 Inch))
        (defaultMinimumWidth ?R
            (MeasureFn 6 Inch))
        (defaultMaximumWidth ?R
            (MeasureFn 15 Inch))
        (defaultMinimumLength ?R
            (MeasureFn 48 Inch))
        (defaultMaximumLength ?R
            (MeasureFn 60 Inch))
        (defaultMinimumMeasure ?R
            (MeasureFn 20 PoundMass))
        (defaultMaximumMeasure ?R
            (MeasureFn 75 PoundMass))))
DimensioningAmenities.kif 810-822
(=>
    (and
        (instance ?R RollawayBed)
        (deviceState ?R DeviceOpen))
    (and
        (defaultMinimumHeight ?R
            (MeasureFn 12 Inch))
        (defaultMaximumHeight ?R
            (MeasureFn 36 Inch))
        (defaultMinimumWidth ?R
            (MeasureFn 24 Inch))
        (defaultMaximumWidth ?R
            (MeasureFn 36 Inch))
        (defaultMinimumLength ?R
            (MeasureFn 60 Inch))
        (defaultMaximumLength ?R
            (MeasureFn 75 Inch))
        (defaultMinimumMeasure ?R
            (MeasureFn 20 PoundMass))
        (defaultMaximumMeasure ?R
            (MeasureFn 75 PoundMass))))
DimensioningAmenities.kif 794-806
(=>
    (and
        (instance ?S SofaBed)
        (deviceState ?S DeviceClosed))
    (and
        (defaultMinimumHeight ?S
            (MeasureFn 12 Inch))
        (defaultMaximumHeight ?S
            (MeasureFn 36 Inch))
        (defaultMinimumWidth ?S
            (MeasureFn 18 Inch))
        (defaultMaximumWidth ?S
            (MeasureFn 36 Inch))
        (defaultMinimumLength ?S
            (MeasureFn 38 Inch))
        (defaultMaximumLength ?S
            (MeasureFn 70 Inch))
        (defaultMinimumMeasure ?S
            (MeasureFn 50 PoundMass))
        (defaultMaximumMeasure ?S
            (MeasureFn 300 PoundMass))))
DimensioningAmenities.kif 842-854
(=>
    (and
        (instance ?S SofaBed)
        (deviceState ?S DeviceOpen))
    (and
        (defaultMinimumHeight ?S
            (MeasureFn 12 Inch))
        (defaultMaximumHeight ?S
            (MeasureFn 48 Inch))
        (defaultMinimumWidth ?S
            (MeasureFn 24 Inch))
        (defaultMaximumWidth ?S
            (MeasureFn 70 Inch))
        (defaultMinimumLength ?S
            (MeasureFn 71 Inch))
        (defaultMaximumLength ?S
            (MeasureFn 84 Inch))
        (defaultMinimumMeasure ?S
            (MeasureFn 50 PoundMass))
        (defaultMaximumMeasure ?S
            (MeasureFn 300 PoundMass))))
DimensioningAmenities.kif 826-838
(=>
    (and
        (instance ?X BabyMonitoringSystem)
        (instance ?RX RadioReceiver)
        (instance ?TX Device)
        (engineeringSubcomponent ?TX ?X)
        (engineeringSubcomponent ?RX ?X))
    (and
        (defaultMinimumHeight ?RX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?RX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?RX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?RX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?RX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?RX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?RX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?RX
            (MeasureFn 24 OunceMass))
        (defaultMinimumHeight ?TX
            (MeasureFn 0.8 Inch))
        (defaultMaximumHeight ?TX
            (MeasureFn 2.5 Inch))
        (defaultMinimumWidth ?TX
            (MeasureFn 2 Inch))
        (defaultMaximumWidth ?TX
            (MeasureFn 4 Inch))
        (defaultMinimumLength ?TX
            (MeasureFn 3 Inch))
        (defaultMaximumLength ?TX
            (MeasureFn 6 Inch))
        (defaultMinimumMeasure ?TX
            (MeasureFn 8 OunceMass))
        (defaultMaximumMeasure ?TX
            (MeasureFn 24 OunceMass))))
DimensioningAmenities.kif 727-750
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?A AirConditioner)
        (instance ?CLCT Collection)
        (memberCount ?CLCT 1)
        (instance ?E Cooling)
        (instrument ?E ?A)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?A
            (MeasureFn 18 Inch))
        (defaultMaximumHeight ?A
            (MeasureFn 28 Inch))
        (defaultMinimumWidth ?A
            (MeasureFn 12 Inch))
        (defaultMaximumWidth ?A
            (MeasureFn 21 Inch))
        (defaultMinimumLength ?A
            (MeasureFn 21 Inch))
        (defaultMaximumLength ?A
            (MeasureFn 36 Inch))
        (defaultMinimumMeasure ?A
            (MeasureFn 75 PoundMass))
        (defaultMaximumMeasure ?A
            (MeasureFn 250 PoundMass))))
DimensioningAmenities.kif 901-918
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?A AirConditioner)
        (instance ?CLCT Collection)
        (memberCount ?CLCT ?C)
        (greaterThan ?C 1)
        (instance ?E Cooling)
        (instrument ?E ?A)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?A
            (MeasureFn 28 Inch))
        (defaultMaximumHeight ?A
            (MeasureFn 60 Inch))
        (defaultMinimumWidth ?A
            (MeasureFn 21 Inch))
        (defaultMaximumWidth ?A
            (MeasureFn 60 Inch))
        (defaultMinimumLength ?A
            (MeasureFn 36 Inch))
        (defaultMaximumLength ?A
            (MeasureFn 60 Inch))
        (defaultMinimumMeasure ?A
            (MeasureFn 75 PoundMass))
        (defaultMaximumMeasure ?A
            (MeasureFn 500 PoundMass))))
DimensioningAmenities.kif 922-940
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?H RoomHeater)
        (instance ?CLCT Collection)
        (memberCount ?CLCT 1)
        (instance ?E Heating)
        (instrument ?E ?H)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?H
            (MeasureFn 5 Inch))
        (defaultMaximumHeight ?H
            (MeasureFn 16 Inch))
        (defaultMinimumWidth ?H
            (MeasureFn 5 Inch))
        (defaultMaximumWidth ?H
            (MeasureFn 7 Inch))
        (defaultMinimumLength ?H
            (MeasureFn 18 Inch))
        (defaultMaximumLength ?H
            (MeasureFn 26 Inch))
        (defaultMinimumMeasure ?H
            (MeasureFn 11 PoundMass))
        (defaultMaximumMeasure ?H
            (MeasureFn 30 PoundMass))))
DimensioningAmenities.kif 858-875
(=>
    (and
        (memberType ?CLCT Room)
        (instance ?H RoomHeater)
        (instance ?CLCT Collection)
        (memberCount ?CLCT ?C)
        (greaterThan ?C 1)
        (instance ?E Heating)
        (instrument ?E ?H)
        (patient ?E ?CLCT))
    (and
        (defaultMinimumHeight ?H
            (MeasureFn 16 Inch))
        (defaultMaximumHeight ?H
            (MeasureFn 40 Inch))
        (defaultMinimumWidth ?H
            (MeasureFn 10 Inch))
        (defaultMaximumWidth ?H
            (MeasureFn 26 Inch))
        (defaultMinimumLength ?H
            (MeasureFn 26 Inch))
        (defaultMaximumLength ?H
            (MeasureFn 45 Inch))
        (defaultMinimumMeasure ?H
            (MeasureFn 30 PoundMass))
        (defaultMaximumMeasure ?H
            (MeasureFn 200 PoundMass))))
DimensioningAmenities.kif 879-897

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


(defaultMinimumHeight AMFMAlarmClock
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 544-544 The minimum expected height of am / fm alarm clock is 2 inch(s)
(defaultMinimumHeight AudioCDSystem
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 553-553 The minimum expected height of cd player is 2 inch(s)
(defaultMinimumHeight BaseballBase
    (MeasureFn 0.5 Inch))
DimensioningAmenities.kif 955-955 The minimum expected height of baseball base is 0.5 inch(s)
(defaultMinimumHeight BaseballBat
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 946-946 The minimum expected height of baseball bat is 2 inch(s)
(defaultMinimumHeight BathTub
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 276-276 The minimum expected height of tub is 15 inch(s)
(defaultMinimumHeight Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 1028-1028 The minimum expected height of battery is 15 millimeter(s)
(defaultMinimumHeight BedFrame
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 409-409 The minimum expected height of bed frame is 10 inch(s)
(defaultMinimumHeight Bell
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1010-1010 The minimum expected height of bell is 2 inch(s)
(defaultMinimumHeight Bidet
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 517-517 The minimum expected height of bidet is 3 centimeter(s)
(defaultMinimumHeight BunkBed
    (MeasureFn 50 Inch))
DimensioningAmenities.kif 418-418 The minimum expected height of bunk bed is 50 inch(s)
(defaultMinimumHeight CableTelevisionSystem
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 445-445 The minimum expected height of cable television system is 10 inch(s)
(defaultMinimumHeight Camera
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1058-1058 The minimum expected height of camera is 2 inch(s)
(defaultMinimumHeight ClothesDryer
    (MeasureFn 17 Inch))
DimensioningAmenities.kif 1273-1273 The minimum expected height of clothes dryer is 17 inch(s)
(defaultMinimumHeight Computer
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 679-679 The minimum expected height of computer is 15 inch(s)
(defaultMinimumHeight CordlessTelephone
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 580-580 The minimum expected height of cordless telephone is 2 inch(s)
(defaultMinimumHeight Crib
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 327-327 The minimum expected height of crib is 30 inch(s)
(defaultMinimumHeight DVDSystem
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 598-598 The minimum expected height of dvd player is 1 inch(s)
(defaultMinimumHeight Desk
    (MeasureFn 20 Inch))
DimensioningAmenities.kif 345-345 The minimum expected height of desk is 20 inch(s)
(defaultMinimumHeight DiningGuide
    (MeasureFn 0.1 Inch))
DimensioningAmenities.kif 589-589 The minimum expected height of dining guide is 0.1 inch(s)
(defaultMinimumHeight Dish
    (MeasureFn 0.8 Inch))
DimensioningAmenities.kif 1067-1067 The minimum expected height of dish is 0.8 inch(s)
(defaultMinimumHeight DomesticAnimal
    (MeasureFn 0.5 FootLength))
DimensioningAmenities.kif 1183-1183 The minimum expected height of domestic animal is 0.5 foot length(s)
(defaultMinimumHeight DoubleBed
    (MeasureFn 18 Inch))
DimensioningAmenities.kif 354-354 The minimum expected height of full-sized bed is 18 inch(s)
(defaultMinimumHeight Drum
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 1019-1019 The minimum expected height of drum is 6 inch(s)
(defaultMinimumHeight ElectricCoffeeMaker
    (MeasureFn 8 Inch))
DimensioningAmenities.kif 318-318 The minimum expected height of coffee maker is 8 inch(s)
(defaultMinimumHeight ElectronicLock
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 779-779 The minimum expected height of electronic lock is 2 inch(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