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


KB Term:  Term intersection
English Word: 

Sigma KEE - width
width

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


(instance width SingleValuedRelation) Merge.kif 7680-7680 width is an instance of single valued relation
(instance width BinaryPredicate) Merge.kif 7681-7681 width is an instance of binary predicate
(subrelation width linearExtent) Merge.kif 7682-7682 width is a subrelation of linear extent
(domain width 1 Physical) Merge.kif 7683-7683 The number 1 argument of width is an instance of physical
(domain width 2 LengthMeasure) Merge.kif 7684-7684 The number 2 argument of width is an instance of length measure
(documentation width EnglishLanguage "BinaryPredicate that is used to state the measure of an Object from side to side at its widest span.") Merge.kif 7686-7687 The number 2 argument of width is an instance of length measure

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


(termFormat EnglishLanguage width "width") domainEnglishFormat.kif 63076-63076
(termFormat ChineseTraditionalLanguage width "寬度") domainEnglishFormat.kif 63077-63077
(termFormat ChineseLanguage width "宽度") domainEnglishFormat.kif 63078-63078
(format EnglishLanguage width "the width of %1 is %n %2") english_format.kif 618-618

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


(=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))		 Merge.kif 9988-9994 If the width of X is Y, then there exist Z, W such that a side of X is Z, a side of X is W, the distance between Z, and W is Y
(=>
    (and
        (instance ?BOTTLE Bottle)
        (bottom ?BOTTOM ?BOTTLE)
        (top ?TOP ?BOTTLE)
        (instance ?U UnitOfLength)
        (width ?BOTTOM
            (MeasureFn ?WIDTH1 ?U))
        (width ?TOP
            (MeasureFn ?WIDTH2 ?U)))
    (lessThan ?WIDTH2 ?WIDTH1))		 Mid-level-ontology.kif 5299-5309 If All of the following hold: (1) X is an instance of bottle (2) the bottom of X is Y (3) the top of X is Z (4) W is an instance of unit of length (5) the width of Y is V W(s) (6) the width of Z is U W(s), then U is less than V
(=>
    (and
        (instance ?S Spaghetti)
        (instance ?L Linguine)
        (instance ?U UnitOfLength)
        (width ?S
            (MeasureFn ?TW1 ?U))
        (width ?L
            (MeasureFn ?TW2 ?U)))
    (greaterThan ?TW2 ?TW1))		 Food.kif 2658-2667 If X is an instance of spaghetti, Y is an instance of linguine, Z is an instance of unit of length, the width of X is W Z(s), and the width of Y is V Z(s), then V is greater than W
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (located ?OBJ ?ZONE))		 Geography.kif 2310-2319 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (greaterThan
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (not
        (located ?OBJ ?ZONE)))		 Geography.kif 2321-2330 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is greater than 0.0, then X is not located at Z
(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))		 Geography.kif 2332-2338 If X is an instance of the maritime claims territorial sea of Y, the width of X is Z W(s), the distance between V and Y is U W(s), and U is less than or equal to Z, then V is located at X
(=>
    (and
        (maximumPayloadCapacity ?V
            (MeasureFn ?WEIGHT ?UNITWEIGHT))
        (maximumPayloadHeightWidth ?V
            (MeasureFn ?HEIGHT ?UNITHEIGHT)
            (MeasureFn ?WIDTH ?UNITWIDTH))
        (instance ?O SelfConnectedObject)
        (weight ?O
            (MeasureFn ?WEO ?WEOU))
        (width ?O
            (MeasureFn ?WO ?WOU))
        (height ?O
            (MeasureFn ?HO ?HOU))
        (equal ?WEOU ?UNITWEIGHT)
        (equal ?WOU ?UNITWIDTH)
        (equal ?HOU ?UNITHEIGHT)
        (lessThanOrEqualTo ?WEO ?WEIGHT)
        (lessThanOrEqualTo ?WO ?WIDTH)
        (lessThanOrEqualTo ?HO ?HEIGHT))
    (capability
        (KappaFn ?TRANSPORT
            (and
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))		 MilitaryDevices.kif 144-169 If All of the following hold: (1) X Y(s) is a maximum payload capacity of Z (2) Z is maximum payload height width W V(s) for U T(s) (3) S is an instance of self connected object (4) R Q(s) is a weight of S (5) the width of S is P O(s) (6) the height of S is N M(s) (7) equal Q and Y (8) equal O and T (9) equal M and V (10) R is less than or equal to X (11) P is less than or equal to U (12) N is less than or equal to W, then Z is capable of doing the class described by L as a instrument
(=>
    (and
        (instance ?SHOT Shooting)
        (instrument ?SHOT ?GUN)
        (patient ?SHOT ?PROJ)
        (width ?PROJ ?LM1)
        (instance ?GUN ?GUNCLASS)
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM))
    (equal ?LM ?LM1))		 MilitaryDevices.kif 376-385 If All of the following hold: (1) X is an instance of shooting (2) Y is an instrument for X (3) Z is a patient of X (4) the width of Z is W (5) Y is an instance of V (6) Z is an instance of projectile (7) U is a caliber of V, then equal U and W
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (capability
        (KappaFn ?SHOOTING
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ))) instrument ?GUN))		 MilitaryDevices.kif 390-402 If X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W is capable of doing the class described by U as a instrument
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (hasPurpose ?GUN
        (exists (?SHOOTING)
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ)
                (instrument ?SHOOTING ?GUN)))))		 MilitaryDevices.kif 407-419 If X is an instance of projectile, Y is a caliber of Z, W is an instance of Z, the width of X is V, and equal Y and V, then W has the purpose there exists U such that U is an instance of shooting, X is a patient of U, and W is an instrument for U

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


(=>
    (and
        (side ?SIDE1 ?OBJECT)
        (side ?SIDE2 ?OBJECT)
        (distance ?SIDE1 ?SIDE2 ?WIDTH))
    (width ?OBJECT ?WIDTH))		 Merge.kif 9996-10001 If a side of X is Y, a side of X is Z, and the distance between Y and Z is W, then the width of X is W
(=>
    (instance ?X KingBed)
    (and
        (width ?X
            (MeasureFn 1.9 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4430-4434 If X is an instance of king-sized bed, then the width of X is 1.9 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X QueenBed)
    (and
        (width ?X
            (MeasureFn 1.5 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4461-4465 If X is an instance of queen-sized bed, then the width of X is 1.5 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X DoubleBed)
    (and
        (width ?X
            (MeasureFn 1.35 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4487-4491 If X is an instance of full-sized bed, then the width of X is 1.35 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X SingleBed)
    (and
        (width ?X
            (MeasureFn 1.0 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4513-4517 If X is an instance of twin-sized bed, then the width of X is 1.0 meter(s) and the length of X is 2.0 meter(s)
(=>
    (defaultMinimumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST ?WIDTH)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (lessThan ?WIDTH ?W))) Unlikely))		 Mid-level-ontology.kif 14945-14953 If the minimum 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 less than Y has the modal force of unlikely
(=>
    (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
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33670-33675 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the width of Z is Y
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 33677-33682 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the width of W is Y
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))		 Geography.kif 2288-2293 If X is an instance of uniform perimeter area, then there exists Y such that Y is an instance of length measure and the width of X is Y
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X StandardSizeDisc))
    (width ?X
        (MeasureFn 120 Millimeter)))		 Media.kif 1177-1182 If X is an instance of optical disc and standard size disc is an attribute of X, then the width of X is 120 millimeter(s)
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X MiniSizeDisc))
    (width ?X
        (MeasureFn 80 Millimeter)))		 Media.kif 1190-1195 If X is an instance of optical disc and mini size disc is an attribute of X, then the width of X is 80 millimeter(s)
(=>
    (maximumPayloadHeightWidth ?V
        (MeasureFn ?HEIGHT ?UNITHEIGHT)
        (MeasureFn ?WIDTH ?UNITWIDTH))
    (not
        (exists (?TP ?O ?WO ?WOU ?HO ?HOU)
            (and
                (instance ?TP Transportation)
                (instrument ?TP ?V)
                (patient ?TP ?O)
                (width ?O
                    (MeasureFn ?WO ?WOU))
                (height ?O
                    (MeasureFn ?HO ?HOU))
                (equal ?WOU ?UNITWIDTH)
                (equal ?HOU ?UNITHEIGHT)
                (greaterThan ?WO ?WIDTH)
                (greaterThan ?HO ?HEIGHT)))))		 MilitaryDevices.kif 121-138 If X is maximum payload height width Y Z(s) for W V(s), then there don't exist U, T,, , S,, , R,, , Q and P such that U is an instance of transportation and X is an instrument for U and T is a patient of U and the width of T is S R(s) and the height of T is Q P(s) and equal R and V and equal P and Z and S is greater than W and Q is greater than Y
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302.0 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27.0 Kilometer))))		 MilitaryDevices.kif 1312-1324 If X is an instance of AG m65, then the length of X is 2.55 meter(s), the width of X is 0.7 meter(s), the height of X is 0.7 meter(s), 302.0 kilogram(s) is a weight of X, and 27.0 kilometer(s) is an effective range of X
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91.0 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18.0 Kilometer))))		 MilitaryDevices.kif 1346-1358 If X is an instance of AI m9, then the length of X is 2.85 meter(s), the width of X is 0.63 meter(s), the height of X is 0.63 meter(s), 91.0 kilogram(s) is a weight of X, and 18.0 kilometer(s) is an effective range of X
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45.0 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8.0 Kilometer))))		 MilitaryDevices.kif 1392-1404 If X is an instance of AG m114, then the length of X is 1.63 meter(s), the width of X is 0.71 meter(s), the height of X is 0.71 meter(s), 45.0 kilogram(s) is a weight of X, and 8.0 kilometer(s) is an effective range of X
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))		 MilitaryDevices.kif 1699-1711 If X is an instance of LAV25, then the length of X is 6.39 meter(s), the width of X is 2.5 meter(s), the height of X is 2.69 meter(s), 12802.8 kilogram(s) is a weight of X, and 660.1 kilometer(s) is an effective range of X
(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480.0 Kilometer))))		 MilitaryDevices.kif 1819-1831 If X is an instance of Amphibious Assault Vehicle, then the length of X is 7.94 meter(s), the width of X is 3.27 meter(s), 22.8 ton mass(s) is a weight of X, the height of X is 3.26 meter(s), and 480.0 kilometer(s) is an effective range of X
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700.0 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000.0 Kilometer))))		 MilitaryDevices.kif 1901-1913 If X is an instance of harrier2, then the length of X is 14.1 meter(s), the width of X is 9.2 meter(s), the height of X is 3.5 meter(s), 5700.0 kilogram(s) is a weight of X, and 1000.0 kilometer(s) is an effective range of X
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071.0 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000.0 Kilometer))))		 MilitaryDevices.kif 1945-1957 If X is an instance of C h53 e, then the length of X is 30.2 meter(s), the width of X is 24.1 meter(s), the height of X is 8.46 meter(s), 15071.0 kilogram(s) is a weight of X, and 2000.0 kilometer(s) is an effective range of X
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047.0 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676.0 Kilometer))))		 MilitaryDevices.kif 2017-2029 If X is an instance of C h46 d, then the length of X is 25.72 meter(s), the width of X is 15.54 meter(s), the height of X is 5.1 meter(s), 7047.0 kilogram(s) is a weight of X, and 676.0 kilometer(s) is an effective range of X
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634.0 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587.0 Kilometer))))		 MilitaryDevices.kif 2057-2069 If X is an instance of A h1, then the length of X is 17.68 meter(s), the width of X is 14.63 meter(s), the height of X is 4.44 meter(s), 4634.0 kilogram(s) is a weight of X, and 587.0 kilometer(s) is an effective range of X
(=>
    (instance ?T TwentyFtContainer)
    (and
        (length ?T
            (MeasureFn 20 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2850-2856 If X is an instance of twenty foot container, then the length of X is 20 foot length(s) and the width of X is 8 foot length(s)
(=>
    (instance ?T FortyFtContainer)
    (and
        (length ?T
            (MeasureFn 40 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 2988-2994 If X is an instance of forty foot container, then the length of X is 40 foot length(s) and the width of X is 8 foot length(s)
(=>
    (instance ?T FortyfiveFtContainer)
    (and
        (length ?T
            (MeasureFn 45 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))		 Transportation.kif 3056-3064 If X is an instance of forty five foot container, then the length of X is 45 foot length(s), the height of X is 102 inch(s), and the width of X is 8 foot length(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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners