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


KB Term:  Term intersection
English Word: 

  defaultMaximumLength

 Sigma KEE - defaultMaximumLength
defaultMaximumLength

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


(instance defaultMaximumLength BinaryPredicate) Mid-level-ontology.kif 14988-14988 default maximum length is an instance of binary predicate
(domainSubclass defaultMaximumLength 1 Object) Mid-level-ontology.kif 14989-14989 The number 1 argument of default maximum length is a subclass of object
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 14990-14990 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 14991-14991 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 14992-14992
(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 14994-15003 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

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


(defaultMaximumLength Hamster
    (MeasureFn 10.0 Centimeter))		 Mid-level-ontology.kif 33259-33259 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 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