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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Portrait

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
(domainSubclass defaultMinimumHeight 1 Object) DimensioningAmenities.kif 39-39
(instance defaultMinimumHeight BinaryPredicate) DimensioningAmenities.kif 38-38

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

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
(defaultMinimumHeight AudioCDSystem
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 553-553
(defaultMinimumHeight BaseballBase
    (MeasureFn 0.5 Inch))
DimensioningAmenities.kif 955-955
(defaultMinimumHeight BaseballBat
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 946-946
(defaultMinimumHeight BathTub
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 276-276
(defaultMinimumHeight Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 1028-1028
(defaultMinimumHeight BedFrame
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 409-409
(defaultMinimumHeight Bell
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1010-1010
(defaultMinimumHeight Bidet
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 517-517
(defaultMinimumHeight BunkBed
    (MeasureFn 50 Inch))
DimensioningAmenities.kif 418-418
(defaultMinimumHeight CableTelevisionSystem
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 445-445
(defaultMinimumHeight Camera
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1058-1058
(defaultMinimumHeight ClothesDryer
    (MeasureFn 17 Inch))
DimensioningAmenities.kif 1273-1273
(defaultMinimumHeight Computer
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 679-679
(defaultMinimumHeight CordlessTelephone
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 580-580
(defaultMinimumHeight Crib
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 327-327
(defaultMinimumHeight DVDSystem
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 598-598
(defaultMinimumHeight Desk
    (MeasureFn 20 Inch))
DimensioningAmenities.kif 345-345
(defaultMinimumHeight DiningGuide
    (MeasureFn 0.1 Inch))
DimensioningAmenities.kif 589-589
(defaultMinimumHeight Dish
    (MeasureFn 0.8 Inch))
DimensioningAmenities.kif 1067-1067
(defaultMinimumHeight DomesticAnimal
    (MeasureFn 0.5 FootLength))
DimensioningAmenities.kif 1183-1183
(defaultMinimumHeight DoubleBed
    (MeasureFn 18 Inch))
DimensioningAmenities.kif 354-354
(defaultMinimumHeight Drum
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 1019-1019
(defaultMinimumHeight ElectricCoffeeMaker
    (MeasureFn 8 Inch))
DimensioningAmenities.kif 318-318
(defaultMinimumHeight ElectronicLock
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 779-779

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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