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


KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumLength
defaultMaximumLength

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


(instance defaultMaximumLength BinaryPredicate) Mid-level-ontology.kif 14915-14915 default maximum length is an instance of binary predicate
(domainSubclass defaultMaximumLength 1 Object) Mid-level-ontology.kif 14916-14916 The number 1 argument of default maximum length is a subclass of object
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 14917-14917 The number 2 argument of default maximum length is an instance of length measure
(documentation defaultMaximumLength EnglishLanguage "A BinaryPredicate that states the assumed maximum length of an Object") Mid-level-ontology.kif 14918-14918 The number 2 argument of default maximum length is an instance of length measure

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


(termFormat EnglishLanguage defaultMaximumLength "default maximum length") Mid-level-ontology.kif 14919-14919
(format EnglishLanguage defaultMaximumLength "the maximum expected length of %1 is %2") domainEnglishFormat.kif 3172-3172
(format ChineseTraditionalLanguage defaultMaximumLength "%1 的 maximum 預期長度是 %2 ") domainEnglishFormat.kif 3173-3173
(format ChineseLanguage defaultMaximumLength "%1 的 maximum 预期长度是 %2 ") domainEnglishFormat.kif 3174-3174

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


(=>
    (defaultMaximumLength ?O
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST ?LENGTH)
            (and
                (instance ?INST ?O)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (greaterThan ?LENGTH ?U))) Unlikely))		 Mid-level-ontology.kif 14921-14930 If the maximum expected length of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the length of W is V Z(s) and V is greater than Z has the modal force of unlikely
(=>
    (and
        (instance ?ROBOT CarryBot)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (widthLimit ?ROBOT
            (MeasureFn ?WIDTHLIMIT ?UNIT))
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT))
                (greaterThan ?LENGTH ?WIDTHLIMIT)
                (greaterThan ?WIDTH ?WIDTHLIMIT)
                (greaterThan ?HEIGHT ?WIDTHLIMIT))
            (and
                (defaultMaximumSphereRadius ?OBJECT
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 28-52 If X is an instance of CarryBot, Y is an instance of Z, Z is a subclass of object, widthLimit X and W V(s), and All of the following hold: (1) the maximum expected length of Z is U V(s) (2) the maximum expected width of Z is T V(s) (3) the maximum expected height of Z is S V(s) (4) U is greater than W (5) T is greater than W (6) S is greater than W or the maximum expected radius of Z is R V(s) and R and 2 is greater than W, then canCarry X and Y
(=>
    (and
        (lengthLimit ?ROBOT
            (MeasureFn ?LENGTHLIMIT ?UNIT))
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT)))
            (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
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2)
                    (DivisionFn ?LENGTHLIMIT 2)))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 61-86 If lengthLimit X and Y Z(s), W is an instance of V, V is a subclass of object, and At least one of the following holds: (1) the maximum expected length of V is U Z(s), the maximum expected width of V is T Z(s), and the maximum expected height of V is S Z(s) (2) At least one of the following holds: (1) U is greater than Y and T is greater than Y (2) U is greater than Y and S is greater than Y (3) T is greater than Y and S is greater than Y (3) the maximum expected radius of V is R Z(s) and R, 2 is greater than Y, and 2, then canCarry X and W

consequent
-------------------------


(=>
    (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 If X is an instance of baby monitor, Y is an instance of radio receiver, Z is an instance of device, Z is a component of X, and Y is a component of X, then All of the following hold: (1) the minimum expected height of Y is 0.8 inch(s) (2) the maximum expected height of Y is 2.5 inch(s) (3) the minimum expected width of Y is 2 inch(s) (4) the maximum expected width of Y is 4 inch(s) (5) the minimum expected length of Y is 3 inch(s) (6) the maximum expected length of Y is 6 inch(s) (7) the minimum expected value of Y is 8 Ounce(s) (8) the maximum expected value of Y is 24 Ounce(s) (9) the minimum expected height of Z is 0.8 inch(s) (10) the maximum expected height of Z is 2.5 inch(s) (11) the minimum expected width of Z is 2 inch(s) (12) the maximum expected width of Z is 4 inch(s) (13) the minimum expected length of Z is 3 inch(s) (14) the maximum expected length of Z is 6 inch(s) (15) the minimum expected value of Z is 8 Ounce(s) (16) the maximum expected value of Z is 24 Ounce(s)
(=>
    (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 If X is an instance of rollaway bed and device open is a device state of X, then All of the following hold: (1) the minimum expected height of X is 12 inch(s) (2) the maximum expected height of X is 36 inch(s) (3) the minimum expected width of X is 24 inch(s) (4) the maximum expected width of X is 36 inch(s) (5) the minimum expected length of X is 60 inch(s) (6) the maximum expected length of X is 75 inch(s) (7) the minimum expected value of X is 20 pound mass(s) (8) the maximum expected value of X is 75 pound mass(s)
(=>
    (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 If X is an instance of rollaway bed and device closed is a device state of X, then All of the following hold: (1) the minimum expected height of X is 24 inch(s) (2) the maximum expected height of X is 36 inch(s) (3) the minimum expected width of X is 6 inch(s) (4) the maximum expected width of X is 15 inch(s) (5) the minimum expected length of X is 48 inch(s) (6) the maximum expected length of X is 60 inch(s) (7) the minimum expected value of X is 20 pound mass(s) (8) the maximum expected value of X is 75 pound mass(s)
(=>
    (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 If X is an instance of sofa bed and device open is a device state of X, then All of the following hold: (1) the minimum expected height of X is 12 inch(s) (2) the maximum expected height of X is 48 inch(s) (3) the minimum expected width of X is 24 inch(s) (4) the maximum expected width of X is 70 inch(s) (5) the minimum expected length of X is 71 inch(s) (6) the maximum expected length of X is 84 inch(s) (7) the minimum expected value of X is 50 pound mass(s) (8) the maximum expected value of X is 300 pound mass(s)
(=>
    (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 If X is an instance of sofa bed and device closed is a device state of X, then All of the following hold: (1) the minimum expected height of X is 12 inch(s) (2) the maximum expected height of X is 36 inch(s) (3) the minimum expected width of X is 18 inch(s) (4) the maximum expected width of X is 36 inch(s) (5) the minimum expected length of X is 38 inch(s) (6) the maximum expected length of X is 70 inch(s) (7) the minimum expected value of X is 50 pound mass(s) (8) the maximum expected value of X is 300 pound mass(s)
(=>
    (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 If All of the following hold: (1) room is a member type of X (2) Y is an instance of room heater (3) X is an instance of collection (4) 1 is a member count of X (5) Z is an instance of heating (6) Y is an instrument for Z (7) X is a patient of Z, then All of the following hold: (1) the minimum expected height of Y is 5 inch(s) (2) the maximum expected height of Y is 16 inch(s) (3) the minimum expected width of Y is 5 inch(s) (4) the maximum expected width of Y is 7 inch(s) (5) the minimum expected length of Y is 18 inch(s) (6) the maximum expected length of Y is 26 inch(s) (7) the minimum expected value of Y is 11 pound mass(s) (8) the maximum expected value of Y is 30 pound mass(s)
(=>
    (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 If All of the following hold: (1) room is a member type of X (2) Y is an instance of room heater (3) X is an instance of collection (4) Z is a member count of X (5) Z is greater than 1 (6) W is an instance of heating (7) Y is an instrument for W (8) X is a patient of W, then All of the following hold: (1) the minimum expected height of Y is 16 inch(s) (2) the maximum expected height of Y is 40 inch(s) (3) the minimum expected width of Y is 10 inch(s) (4) the maximum expected width of Y is 26 inch(s) (5) the minimum expected length of Y is 26 inch(s) (6) the maximum expected length of Y is 45 inch(s) (7) the minimum expected value of Y is 30 pound mass(s) (8) the maximum expected value of Y is 200 pound mass(s)
(=>
    (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 If All of the following hold: (1) room is a member type of X (2) Y is an instance of air conditioner (3) X is an instance of collection (4) 1 is a member count of X (5) Z is an instance of cooling (6) Y is an instrument for Z (7) X is a patient of Z, then All of the following hold: (1) the minimum expected height of Y is 18 inch(s) (2) the maximum expected height of Y is 28 inch(s) (3) the minimum expected width of Y is 12 inch(s) (4) the maximum expected width of Y is 21 inch(s) (5) the minimum expected length of Y is 21 inch(s) (6) the maximum expected length of Y is 36 inch(s) (7) the minimum expected value of Y is 75 pound mass(s) (8) the maximum expected value of Y is 250 pound mass(s)
(=>
    (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 If All of the following hold: (1) room is a member type of X (2) Y is an instance of air conditioner (3) X is an instance of collection (4) Z is a member count of X (5) Z is greater than 1 (6) W is an instance of cooling (7) Y is an instrument for W (8) X is a patient of W, then All of the following hold: (1) the minimum expected height of Y is 28 inch(s) (2) the maximum expected height of Y is 60 inch(s) (3) the minimum expected width of Y is 21 inch(s) (4) the maximum expected width of Y is 60 inch(s) (5) the minimum expected length of Y is 36 inch(s) (6) the maximum expected length of Y is 60 inch(s) (7) the minimum expected value of Y is 75 pound mass(s) (8) the maximum expected value of Y is 500 pound mass(s)

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


(defaultMaximumLength Hamster
    (MeasureFn 10.0 Centimeter))		 Mid-level-ontology.kif 33325-33325 The maximum expected length of hamster is 10.0 centimeter(s)
(defaultMaximumLength BathTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 34-34 The maximum expected length of tub is 72 inch(s)
(defaultMaximumLength WhirlpoolTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 45-45 The maximum expected length of whirlpool tub is 72 inch(s)
(defaultMaximumLength GrecianTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 56-56 The maximum expected length of grecian tub is 72 inch(s)
(defaultMaximumLength FourPosterBed
    (MeasureFn 88 Inch))		 DimensioningAmenities.kif 65-65 The maximum expected length of four-poster bed is 88 inch(s)
(defaultMaximumLength ElectricCoffeeMaker
    (MeasureFn 17 Inch))		 DimensioningAmenities.kif 76-76 The maximum expected length of coffee maker is 17 inch(s)
(defaultMaximumLength Crib
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 85-85 The maximum expected length of crib is 54 inch(s)
(defaultMaximumLength Desk
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 103-103 The maximum expected length of desk is 30 inch(s)
(defaultMaximumLength DoubleBed
    (MeasureFn 75 Inch))		 DimensioningAmenities.kif 112-112 The maximum expected length of full-sized bed is 75 inch(s)
(defaultMaximumLength IroningBoard
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 131-131 The maximum expected length of ironing board is 54 inch(s)
(defaultMaximumLength KingBed
    (MeasureFn 84 Inch))		 DimensioningAmenities.kif 140-140 The maximum expected length of king-sized bed is 84 inch(s)
(defaultMaximumLength QueenBed
    (MeasureFn 80 Inch))		 DimensioningAmenities.kif 149-149 The maximum expected length of queen-sized bed is 80 inch(s)
(defaultMaximumLength SingleBed
    (MeasureFn 80 Inch))		 DimensioningAmenities.kif 158-158 The maximum expected length of twin-sized bed is 80 inch(s)
(defaultMaximumLength BedFrame
    (MeasureFn 90 Inch))		 DimensioningAmenities.kif 167-167 The maximum expected length of bed frame is 90 inch(s)
(defaultMaximumLength BunkBed
    (MeasureFn 80 Inch))		 DimensioningAmenities.kif 176-176 The maximum expected length of bunk bed is 80 inch(s)
(defaultMaximumLength Microwave
    (MeasureFn 19 Inch))		 DimensioningAmenities.kif 185-185 The maximum expected length of microwave is 19 inch(s)
(defaultMaximumLength VideoDisplay
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 194-194 The maximum expected length of video display is 18 inch(s)
(defaultMaximumLength CableTelevisionSystem
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 203-203 The maximum expected length of cable television system is 18 inch(s)
(defaultMaximumLength SatelliteTelevisionSystem
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 212-212 The maximum expected length of satellite tv is 18 inch(s)
(defaultMaximumLength Refrigerator
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 221-221 The maximum expected length of refrigerator is 36 inch(s)
(defaultMaximumLength Recliner
    (MeasureFn 46 Inch))		 DimensioningAmenities.kif 230-230 The maximum expected length of recliner is 46 inch(s)
(defaultMaximumLength WetBar
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 239-239 The maximum expected length of wet bar is 30 inch(s)
(defaultMaximumLength VideoCassette
    (MeasureFn 14 Inch))		 DimensioningAmenities.kif 248-248 The maximum expected length of video cassette is 14 inch(s)
(defaultMaximumLength VideoGamePlayer
    (MeasureFn 11 Inch))		 DimensioningAmenities.kif 257-257 The maximum expected length of video game player is 11 inch(s)
(defaultMaximumLength Toilet
    (MeasureFn 48 Centimeter))		 DimensioningAmenities.kif 266-266 The maximum expected length of toilet is 48 centimeter(s)

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 3.0 is open source software produced by Articulate Software and its partners