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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMinimumLength

Sigma KEE - defaultMinimumLength
defaultMinimumLength

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


(documentation defaultMinimumLength EnglishLanguage "A BinaryPredicate that states the assumed minimum length of an Object") DimensioningAmenities.kif 101-101
(domain defaultMinimumLength 2 LengthMeasure) DimensioningAmenities.kif 100-100
(domainSubclass defaultMinimumLength 1 Object) DimensioningAmenities.kif 99-99
(instance defaultMinimumLength BinaryPredicate) DimensioningAmenities.kif 98-98

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


(format EnglishLanguage defaultMinimumLength "the minimum expected length of %1 is %2") domainEnglishFormat.kif 810-810
(termFormat EnglishLanguage defaultMinimumLength "default minimum length") DimensioningAmenities.kif 102-102

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


(=>
    (defaultMinimumLength ?OBJECT ?L)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST ?LENGTH)
                (lessThan ?LENGTH ?L))) Unlikely))
DimensioningAmenities.kif 103-110

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
-------------------------


(defaultMinimumLength AMFMAlarmClock
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 548-548
(defaultMinimumLength ArrowProjectile
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1229-1229
(defaultMinimumLength AudioCDSystem
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 557-557
(defaultMinimumLength AutomaticGun
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1258-1258
(defaultMinimumLength BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 959-959
(defaultMinimumLength BaseballBat
    (MeasureFn 26 Inch))
DimensioningAmenities.kif 950-950
(defaultMinimumLength BathTub
    (MeasureFn 54 Inch))
DimensioningAmenities.kif 280-280
(defaultMinimumLength Baton
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 1291-1291
(defaultMinimumLength Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 1032-1032
(defaultMinimumLength BedFrame
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 413-413
(defaultMinimumLength Bell
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 1014-1014
(defaultMinimumLength Bidet
    (MeasureFn 41 Centimeter))
DimensioningAmenities.kif 521-521
(defaultMinimumLength Bullet
    (MeasureFn 0.25 Inch))
DimensioningAmenities.kif 1224-1224
(defaultMinimumLength BunkBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 422-422
(defaultMinimumLength CableTelevisionSystem
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 449-449
(defaultMinimumLength Camera
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 1062-1062
(defaultMinimumLength ClothesDryer
    (MeasureFn 27 Inch))
DimensioningAmenities.kif 1277-1277
(defaultMinimumLength Computer
    (MeasureFn 19 Inch))
DimensioningAmenities.kif 683-683
(defaultMinimumLength CordlessTelephone
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 584-584
(defaultMinimumLength Crib
    (MeasureFn 39 Inch))
DimensioningAmenities.kif 331-331
(defaultMinimumLength DVDSystem
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 602-602
(defaultMinimumLength Desk
    (MeasureFn 21 Inch))
DimensioningAmenities.kif 349-349
(defaultMinimumLength DiningGuide
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 593-593
(defaultMinimumLength Dish
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 1071-1071
(defaultMinimumLength DoubleBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 358-358

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