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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumWidth
defaultMaximumWidth

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


(documentation defaultMaximumWidth EnglishLanguage "A BinaryPredicate that states the assumed maximum width of an Object") Mid-level-ontology.kif 11004-11004
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 11003-11003
(domainSubclass defaultMaximumWidth 1 Object) Mid-level-ontology.kif 11002-11002
(instance defaultMaximumWidth BinaryPredicate) Mid-level-ontology.kif 11001-11001

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


(format EnglishLanguage defaultMaximumWidth "the maximum expected width of %1 is %2") domainEnglishFormat.kif 807-807
(termFormat EnglishLanguage defaultMaximumWidth "default maximum width") Mid-level-ontology.kif 11005-11005

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
(=>
    (defaultMaximumWidth ?OBJECT ?W)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST ?WIDTH)
                (greaterThan ?WIDTH ?W))) Unlikely))		 Mid-level-ontology.kif 11006-11013

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


(defaultMaximumWidth AMFMAlarmClock
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 300-300
(defaultMaximumWidth AudioCDSystem
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 309-309
(defaultMaximumWidth BaseballBase
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 711-711
(defaultMaximumWidth BaseballBat
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 702-702
(defaultMaximumWidth BathTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 32-32
(defaultMaximumWidth Battery
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 784-784
(defaultMaximumWidth BedFrame
    (MeasureFn 80 Inch))		 DimensioningAmenities.kif 165-165
(defaultMaximumWidth Bell
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 766-766
(defaultMaximumWidth Bidet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 273-273
(defaultMaximumWidth BunkBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 174-174
(defaultMaximumWidth CableTelevisionSystem
    (MeasureFn 47 Inch))		 DimensioningAmenities.kif 201-201
(defaultMaximumWidth Camera
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 814-814
(defaultMaximumWidth ClothesDryer
    (MeasureFn 27 Inch))		 DimensioningAmenities.kif 1029-1029
(defaultMaximumWidth Computer
    (MeasureFn 9 Inch))		 DimensioningAmenities.kif 435-435
(defaultMaximumWidth CordlessTelephone
    (MeasureFn 8 Inch))		 DimensioningAmenities.kif 336-336
(defaultMaximumWidth Crib
    (MeasureFn 32 Inch))		 DimensioningAmenities.kif 83-83
(defaultMaximumWidth DVDSystem
    (MeasureFn 17 Inch))		 DimensioningAmenities.kif 354-354
(defaultMaximumWidth Desk
    (MeasureFn 68 Inch))		 DimensioningAmenities.kif 101-101
(defaultMaximumWidth DiningGuide
    (MeasureFn 9 Inch))		 DimensioningAmenities.kif 345-345
(defaultMaximumWidth Dish
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 823-823
(defaultMaximumWidth DoubleBed
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 110-110
(defaultMaximumWidth Drum
    (MeasureFn 100 Inch))		 DimensioningAmenities.kif 775-775
(defaultMaximumWidth ElectricCoffeeMaker
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 74-74
(defaultMaximumWidth ElectronicLock
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 535-535
(defaultMaximumWidth FabricIron
    (MeasureFn 10 Inch))		 DimensioningAmenities.kif 399-399

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