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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMaximumLength

Sigma KEE - defaultMaximumLength
defaultMaximumLength

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


(documentation defaultMaximumLength EnglishLanguage "A BinaryPredicate that states the assumed maximum length of an Object") Mid-level-ontology.kif 11034-11034
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 11033-11033
(domainSubclass defaultMaximumLength 1 Object) Mid-level-ontology.kif 11032-11032
(instance defaultMaximumLength BinaryPredicate) Mid-level-ontology.kif 11031-11031

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


(format EnglishLanguage defaultMaximumLength "the maximum expected length of %1 is %2") domainEnglishFormat.kif 804-804
(termFormat EnglishLanguage defaultMaximumLength "default maximum length") Mid-level-ontology.kif 11035-11035

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


(=>
    (and
        (instance ?ROBOT CarryBot)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (widthLimit ?ROBOT ?WIDTHLIMIT)
        (or
            (and
                (defaultMaximumLength ?OBJECT ?LENGTH)
                (defaultMaximumWidth ?OBJECT ?WIDTH)
                (defaultMaximumHeight ?OBJECT ?HEIGHT)
                (greaterThan ?LENGTH ?WIDTHLIMIT)
                (greaterThan ?WIDTH ?WIDTHLIMIT)
                (greaterThan ?HEIGHT ?WIDTHLIMIT))
            (and
                (defaultMaximumSphereRadius ?OBJECT ?RADIUS)
                (greaterThan
                    (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))
Robot.kif 27-45
(=>
    (and
        (lengthLimit ?ROBOT ?LENGTHLIMIT)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (or
            (and
                (defaultMaximumLength ?OBJECT ?LENGTH)
                (defaultMaximumWidth ?OBJECT ?WIDTH)
                (defaultMaximumHeight ?OBJECT ?HEIGHT))
            (or
                (and
                    (greaterThan ?LENGTH ?LENGTHLIMIT)
                    (greaterThan ?WIDTH ?LENGTHLIMIT))
                (and
                    (greaterThan ?LENGTH ?LENGTHLIMIT)
                    (greaterThan ?HEIGHT ?LENGTHLIMIT))
                (and
                    (greaterThan ?WIDTH ?LENGTHLIMIT)
                    (greaterThan ?HEIGHT ?LENGTHLIMIT)))
            (and
                (defaultMaximumSphereRadius ?OBJECT ?RADIUS)
                (greaterThan
                    (MultiplicationFn ?RADIUS 2)
                    (DivisionFn ?LENGTHLIMIT 2)))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))
Robot.kif 54-78
(=>
    (defaultMaximumLength ?O ?L)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?O)
                (length ?INST ?LENGTH)
                (greaterThan ?LENGTH ?L))) Unlikely))
Mid-level-ontology.kif 11036-11043

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


(defaultMaximumLength AMFMAlarmClock
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 302-302
(defaultMaximumLength ArrowProjectile
    (MeasureFn 36 Inch))
DimensioningAmenities.kif 983-983
(defaultMaximumLength AudioCDSystem
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 311-311
(defaultMaximumLength AutomaticGun
    (MeasureFn 48 Inch))
DimensioningAmenities.kif 1012-1012
(defaultMaximumLength BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 713-713
(defaultMaximumLength BaseballBat
    (MeasureFn 34 Inch))
DimensioningAmenities.kif 704-704
(defaultMaximumLength BathTub
    (MeasureFn 72 Inch))
DimensioningAmenities.kif 34-34
(defaultMaximumLength Baton
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 1045-1045
(defaultMaximumLength Battery
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 786-786
(defaultMaximumLength BedFrame
    (MeasureFn 90 Inch))
DimensioningAmenities.kif 167-167
(defaultMaximumLength Bell
    (MeasureFn 20 Inch))
DimensioningAmenities.kif 768-768
(defaultMaximumLength Bidet
    (MeasureFn 48 Centimeter))
DimensioningAmenities.kif 275-275
(defaultMaximumLength Bullet
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 978-978
(defaultMaximumLength BunkBed
    (MeasureFn 80 Inch))
DimensioningAmenities.kif 176-176
(defaultMaximumLength CableTelevisionSystem
    (MeasureFn 18 Inch))
DimensioningAmenities.kif 203-203
(defaultMaximumLength Camera
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 816-816
(defaultMaximumLength ClothesDryer
    (MeasureFn 38 Inch))
DimensioningAmenities.kif 1031-1031
(defaultMaximumLength Computer
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 437-437
(defaultMaximumLength CordlessTelephone
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 338-338
(defaultMaximumLength Crib
    (MeasureFn 54 Inch))
DimensioningAmenities.kif 85-85
(defaultMaximumLength DVDSystem
    (MeasureFn 14 Inch))
DimensioningAmenities.kif 356-356
(defaultMaximumLength Desk
    (MeasureFn 30 Inch))
DimensioningAmenities.kif 103-103
(defaultMaximumLength DiningGuide
    (MeasureFn 13 Inch))
DimensioningAmenities.kif 347-347
(defaultMaximumLength Dish
    (MeasureFn 24 Inch))
DimensioningAmenities.kif 825-825
(defaultMaximumLength DoubleBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 112-112

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