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") Mid-level-ontology.kif 11019-11019
(domain defaultMinimumLength 2 LengthMeasure) Mid-level-ontology.kif 11018-11018
(domainSubclass defaultMinimumLength 1 Object) Mid-level-ontology.kif 11017-11017
(instance defaultMinimumLength BinaryPredicate) Mid-level-ontology.kif 11016-11016

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") Mid-level-ontology.kif 11020-11020

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


(=>
    (defaultMinimumLength ?OBJECT ?L)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST ?LENGTH)
                (lessThan ?LENGTH ?L))) Unlikely))
Mid-level-ontology.kif 11021-11028

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 563-575
(=>
    (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 547-559
(=>
    (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 595-607
(=>
    (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 579-591
(=>
    (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 480-503
(=>
    (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 654-671
(=>
    (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 675-693
(=>
    (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 611-628
(=>
    (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 632-650

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


(defaultMinimumLength AMFMAlarmClock
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 301-301
(defaultMinimumLength ArrowProjectile
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 982-982
(defaultMinimumLength AudioCDSystem
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 310-310
(defaultMinimumLength AutomaticGun
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 1011-1011
(defaultMinimumLength BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 712-712
(defaultMinimumLength BaseballBat
    (MeasureFn 26 Inch))
DimensioningAmenities.kif 703-703
(defaultMinimumLength BathTub
    (MeasureFn 54 Inch))
DimensioningAmenities.kif 33-33
(defaultMinimumLength Baton
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 1044-1044
(defaultMinimumLength Battery
    (MeasureFn 15 Millimeter))
DimensioningAmenities.kif 785-785
(defaultMinimumLength BedFrame
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 166-166
(defaultMinimumLength Bell
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 767-767
(defaultMinimumLength Bidet
    (MeasureFn 41 Centimeter))
DimensioningAmenities.kif 274-274
(defaultMinimumLength Bullet
    (MeasureFn 0.25 Inch))
DimensioningAmenities.kif 977-977
(defaultMinimumLength BunkBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 175-175
(defaultMinimumLength CableTelevisionSystem
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 202-202
(defaultMinimumLength Camera
    (MeasureFn 1 Inch))
DimensioningAmenities.kif 815-815
(defaultMinimumLength ClothesDryer
    (MeasureFn 27 Inch))
DimensioningAmenities.kif 1030-1030
(defaultMinimumLength Computer
    (MeasureFn 19 Inch))
DimensioningAmenities.kif 436-436
(defaultMinimumLength CordlessTelephone
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 337-337
(defaultMinimumLength Crib
    (MeasureFn 39 Inch))
DimensioningAmenities.kif 84-84
(defaultMinimumLength DVDSystem
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 355-355
(defaultMinimumLength Desk
    (MeasureFn 21 Inch))
DimensioningAmenities.kif 102-102
(defaultMinimumLength DiningGuide
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 346-346
(defaultMinimumLength Dish
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 824-824
(defaultMinimumLength DoubleBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 111-111

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