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


KB Term:  Term intersection
English Word: 

  defaultMaximumWidth

 Sigma KEE - defaultMaximumWidth
defaultMaximumWidth

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


(instance defaultMaximumWidth BinaryPredicate) Mid-level-ontology.kif 14955-14955 default maximum width is an instance of binary predicate
(domainSubclass defaultMaximumWidth 1 Object) Mid-level-ontology.kif 14956-14956 The number 1 argument of default maximum width is a subclass of object
(domain defaultMaximumWidth 2 LengthMeasure) Mid-level-ontology.kif 14957-14957 The number 2 argument of default maximum width is an instance of length measure
(documentation defaultMaximumWidth EnglishLanguage "A BinaryPredicate that states the assumed maximum width of an Object") Mid-level-ontology.kif 14958-14958 The number 2 argument of default maximum width is an instance of length measure

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


(termFormat EnglishLanguage defaultMaximumWidth "default maximum width") Mid-level-ontology.kif 14959-14959
(format EnglishLanguage defaultMaximumWidth "the maximum expected width of %1 is %2") domainEnglishFormat.kif 3184-3184
(format ChineseTraditionalLanguage defaultMaximumWidth "%1 的 maximum 預期寬度是 %2 ") domainEnglishFormat.kif 3185-3185
(format ChineseLanguage defaultMaximumWidth "%1 的 maximum 预期宽度是 %2 ") domainEnglishFormat.kif 3186-3186

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


(=>
    (defaultMaximumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST ?WIDTH)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (greaterThan ?WIDTH ?W))) Unlikely))		 Mid-level-ontology.kif 14961-14970 If the maximum expected width of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the width of W is V Z(s) and V is greater than Y 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

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


(defaultMaximumWidth BathTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 32-32 The maximum expected width of tub is 60 inch(s)
(defaultMaximumWidth WhirlpoolTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 43-43 The maximum expected width of whirlpool tub is 60 inch(s)
(defaultMaximumWidth GrecianTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 54-54 The maximum expected width of grecian tub is 60 inch(s)
(defaultMaximumWidth FourPosterBed
    (MeasureFn 82 Inch))		 DimensioningAmenities.kif 63-63 The maximum expected width of four-poster bed is 82 inch(s)
(defaultMaximumWidth ElectricCoffeeMaker
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 74-74 The maximum expected width of coffee maker is 12 inch(s)
(defaultMaximumWidth Crib
    (MeasureFn 32 Inch))		 DimensioningAmenities.kif 83-83 The maximum expected width of crib is 32 inch(s)
(defaultMaximumWidth Desk
    (MeasureFn 68 Inch))		 DimensioningAmenities.kif 101-101 The maximum expected width of desk is 68 inch(s)
(defaultMaximumWidth DoubleBed
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 110-110 The maximum expected width of full-sized bed is 54 inch(s)
(defaultMaximumWidth IroningBoard
    (MeasureFn 14 Inch))		 DimensioningAmenities.kif 129-129 The maximum expected width of ironing board is 14 inch(s)
(defaultMaximumWidth KingBed
    (MeasureFn 76 Inch))		 DimensioningAmenities.kif 138-138 The maximum expected width of king-sized bed is 76 inch(s)
(defaultMaximumWidth QueenBed
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 147-147 The maximum expected width of queen-sized bed is 60 inch(s)
(defaultMaximumWidth SingleBed
    (MeasureFn 38 Inch))		 DimensioningAmenities.kif 156-156 The maximum expected width of twin-sized bed is 38 inch(s)
(defaultMaximumWidth BedFrame
    (MeasureFn 80 Inch))		 DimensioningAmenities.kif 165-165 The maximum expected width of bed frame is 80 inch(s)
(defaultMaximumWidth BunkBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 174-174 The maximum expected width of bunk bed is 40 inch(s)
(defaultMaximumWidth Microwave
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 183-183 The maximum expected width of microwave is 24 inch(s)
(defaultMaximumWidth VideoDisplay
    (MeasureFn 47 Inch))		 DimensioningAmenities.kif 192-192 The maximum expected width of video display is 47 inch(s)
(defaultMaximumWidth CableTelevisionSystem
    (MeasureFn 47 Inch))		 DimensioningAmenities.kif 201-201 The maximum expected width of cable television system is 47 inch(s)
(defaultMaximumWidth SatelliteTelevisionSystem
    (MeasureFn 47 Inch))		 DimensioningAmenities.kif 210-210 The maximum expected width of satellite tv is 47 inch(s)
(defaultMaximumWidth Refrigerator
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 219-219 The maximum expected width of refrigerator is 36 inch(s)
(defaultMaximumWidth Recliner
    (MeasureFn 45 Inch))		 DimensioningAmenities.kif 228-228 The maximum expected width of recliner is 45 inch(s)
(defaultMaximumWidth WetBar
    (MeasureFn 73 Inch))		 DimensioningAmenities.kif 237-237 The maximum expected width of wet bar is 73 inch(s)
(defaultMaximumWidth VideoCassette
    (MeasureFn 17 Inch))		 DimensioningAmenities.kif 246-246 The maximum expected width of video cassette is 17 inch(s)
(defaultMaximumWidth VideoGamePlayer
    (MeasureFn 13 Inch))		 DimensioningAmenities.kif 255-255 The maximum expected width of video game player is 13 inch(s)
(defaultMaximumWidth Toilet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 264-264 The maximum expected width of toilet is 40 centimeter(s)
(defaultMaximumWidth Bidet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 273-273 The maximum expected width of bidet is 40 centimeter(s)

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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners