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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - width
width

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


s__documentation(s__width__m,s__ChineseLanguage,'"这是一个 BinaryPredicate, 它是用来表示一个 Object 从 一边到另一边最大的距离。"')

chinese_format.kif 2640-2641
s__documentation(s__width__m,s__EnglishLanguage,'"BinaryPredicate that is used to state the measure of an Object from side to side at its widest span."')

Merge.kif 7298-7299
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__width__m,s__BinaryPredicate)

Merge.kif 7295-7295 width is an instance of binary predicate
s__instance(s__width__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 7294-7294 width is an instance of single valued relation
s__subrelation(s__width__m,s__linearExtent__m)

Merge.kif 7296-7296 width is a subrelation of linearExtent

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


s__format(s__ChineseLanguage,s__width__m,'"%1 的 width %n 是 %2"')

chinese_format.kif 615-615
s__format(s__EnglishLanguage,s__width__m,'"the width of %1 is %n %2"')

english_format.kif 621-621
s__termFormat(s__ChineseLanguage,s__width__m,'"宽度"')

chinese_format.kif 616-616
s__termFormat(s__ChineseTraditionalLanguage,s__width__m,'"寬度"')

domainEnglishFormat.kif 63040-63040
s__termFormat(s__EnglishLanguage,s__width__m,'"width"')

domainEnglishFormat.kif 63039-63039

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


( ! [V__OBJECT,V__WIDTH] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__WIDTH,s__LengthMeasure))
       =>
       (((s__width(V__OBJECT,V__WIDTH)
           =>
           ( ? [V__SIDE1, V__SIDE2] :
             ((s__instance(V__SIDE1,s__SelfConnectedObject) &
                 s__instance(V__SIDE2,s__SelfConnectedObject) &
                 (s__side(V__SIDE1,V__OBJECT)
                 &
                 s__side(V__SIDE2,V__OBJECT)
               &
               s__distance(V__SIDE1,V__SIDE2,V__WIDTH))))))
   &
   (( ? [V__SIDE1, V__SIDE2] :
       ((s__instance(V__SIDE1,s__SelfConnectedObject) &
           s__instance(V__SIDE2,s__SelfConnectedObject) &
           (s__side(V__SIDE1,V__OBJECT)
           &
           s__side(V__SIDE2,V__OBJECT)
         &
         s__distance(V__SIDE1,V__SIDE2,V__WIDTH)))))
=>
s__width(V__OBJECT,V__WIDTH)))))
)
)

Merge.kif 9331-9337 The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure
( ! [V__PLACE,V__OBJ,V__AREA,V__WIDTH,V__DISTANCE,V__UNIT] :
   (((s__instance(V__PLACE,s__Region) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__AREA,s__Object) &
         s__instance(V__WIDTH,s__RealNumber) &
         s__instance(V__DISTANCE,s__RealNumber) &
         s__instance(V__UNIT,s__UnitOfMeasure))
       =>
       (((s__instance(V__AREA,s__MaritimeClaimsTerritorialSeaFn(V__PLACE))
         &
         s__width(V__AREA,s__MeasureFn(V__WIDTH,V__UNIT))
     &
     s__distance(V__OBJ,V__PLACE,s__MeasureFn(V__DISTANCE,V__UNIT))
&
s__lessThanOrEqualTo(V__DISTANCE,V__WIDTH))
=>
(s__located(V__OBJ,V__AREA)))))
)
)

Geography.kif 873-879
( ! [V__BOTTOM,V__U,V__WIDTH2,V__WIDTH1,V__TOP,V__BOTTLE] :
   (((s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__WIDTH2,s__RealNumber) &
         s__instance(V__WIDTH1,s__RealNumber) &
         s__instance(V__TOP,s__SelfConnectedObject))
       =>
       (((s__instance(V__BOTTLE,s__Bottle) &
             s__bottom(V__BOTTOM,V__BOTTLE)
           &
           s__top(V__TOP,V__BOTTLE)
         &
         s__instance(V__U,s__UnitOfLength) &
         s__width(V__BOTTOM,s__MeasureFn(V__WIDTH1,V__U))
     &
     s__width(V__TOP,s__MeasureFn(V__WIDTH2,V__U)))
=>
(s__lessThan(V__WIDTH2,V__WIDTH1)))))
)
)

Mid-level-ontology.kif 4412-4422
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262
( ! [V__S,V__U,V__W1,V__W2,V__L] :
   (((s__instance(V__W1,s__RealNumber) &
         s__instance(V__W2,s__RealNumber))
       =>
       (((s__instance(V__S,s__Spaghetti) &
             s__instance(V__L,s__Linguine) &
             s__instance(V__U,s__UnitOfLength) &
             s__width(V__S,s__MeasureFn(V__W1,V__U))
         &
         s__width(V__L,s__MeasureFn(V__W2,V__U)))
   =>
   (s__greaterThan(V__W2,V__W1)))))
)
)

Food.kif 628-637
( ! [V__LM,V__PROJ,V__SHOT,V__GUN,V__LM1,V__GUNCLASS] :
   (((s__instance(V__LM,s__LengthMeasure) &
         s__instance(V__GUN,s__Object) &
         s__subclass(V__GUNCLASS,s__Gun) &
         s__instance(V__GUNCLASS,s__Class))
       =>
       (((s__instance(V__SHOT,s__Shooting) &
             s__instrument(V__SHOT,V__GUN)
           &
           s__patient(V__SHOT,V__PROJ)
         &
         s__width(V__PROJ,V__LM1)
       &
       s__instance(V__GUN,V__GUNCLASS)
     &
     s__instance(V__PROJ,s__Projectile) &
     s__caliber(V__GUNCLASS,V__LM))
=>
((V__LM = V__LM1)))))
)
)

MilitaryDevices.kif 219-228
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) &
             s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
         &
         s__instance(V__ZONE,s__UniformPerimeterArea) &
         s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
     &
     s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT)
,n__0))
=>
(~(s__located(V__OBJ,V__ZONE))))))
)
)

Geography.kif 862-871
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) &
             s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
         &
         s__instance(V__ZONE,s__UniformPerimeterArea) &
         s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
     &
     s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__lessThanOrEqualTo(s__SubtractionFn(V__FAR,V__LIMIT)
,n__0))
=>
(s__located(V__OBJ,V__ZONE)))))
)
)

Geography.kif 851-860

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


( ! [V__X] :
   (((s__instance(V__X,s__OpticalDisc) &
         s__attribute(V__X,s__MiniSizeDisc))
       =>
       (s__width(V__X,s__MeasureFn(n__80,s__Millimeter))))
   )
)

Media.kif 1247-1252
( ! [V__X] :
   (((s__instance(V__X,s__OpticalDisc) &
         s__attribute(V__X,s__StandardSizeDisc))
       =>
       (s__width(V__X,s__MeasureFn(n__120,s__Millimeter))))
   )
)

Media.kif 1234-1239
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__width(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29216-29221
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity))
       =>
       (((s__memberMeasure(V__S,s__Width,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__width(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29209-29214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11772-11781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11755-11763
( ! [V__AAV] :
   ((s__instance(V__AAV,s__AAV) =>
       ((s__length(V__AAV,s__MeasureFn(n__7_94,s__Meter))
         &
         s__width(V__AAV,s__MeasureFn(n__3_27,s__Meter))
       &
       s__weight(V__AAV,s__MeasureFn(n__22_8,s__TonMass))
     &
     s__height(V__AAV,s__MeasureFn(n__3_26,s__Meter))
   &
   s__effectiveRange(V__AAV,s__MeasureFn(n__480,s__Kilometer)))))
)
)

MilitaryDevices.kif 1662-1674
( ! [V__AGM114] :
   ((s__instance(V__AGM114,s__AGM114) =>
       ((s__length(V__AGM114,s__MeasureFn(n__1_63,s__Meter))
         &
         s__width(V__AGM114,s__MeasureFn(n__0_71,s__Meter))
       &
       s__height(V__AGM114,s__MeasureFn(n__0_71,s__Meter))
     &
     s__weight(V__AGM114,s__MeasureFn(n__45,s__Kilogram))
   &
   s__effectiveRange(V__AGM114,s__MeasureFn(n__8,s__Kilometer)))))
)
)

MilitaryDevices.kif 1235-1247
( ! [V__AGM65] :
   ((s__instance(V__AGM65,s__AGM65) =>
       ((s__length(V__AGM65,s__MeasureFn(n__2_55,s__Meter))
         &
         s__width(V__AGM65,s__MeasureFn(n__0_7,s__Meter))
       &
       s__height(V__AGM65,s__MeasureFn(n__0_7,s__Meter))
     &
     s__weight(V__AGM65,s__MeasureFn(n__302,s__Kilogram))
   &
   s__effectiveRange(V__AGM65,s__MeasureFn(n__27,s__Kilometer)))))
)
)

MilitaryDevices.kif 1155-1167
( ! [V__AH1] :
   ((s__instance(V__AH1,s__AH1) =>
       ((s__length(V__AH1,s__MeasureFn(n__17_68,s__Meter))
         &
         s__width(V__AH1,s__MeasureFn(n__14_63,s__Meter))
       &
       s__height(V__AH1,s__MeasureFn(n__4_44,s__Meter))
     &
     s__weight(V__AH1,s__MeasureFn(n__4634,s__Kilogram))
   &
   s__effectiveRange(V__AH1,s__MeasureFn(n__587,s__Kilometer)))))
)
)

MilitaryDevices.kif 1900-1912
( ! [V__AIM9] :
   ((s__instance(V__AIM9,s__AIM9) =>
       ((s__length(V__AIM9,s__MeasureFn(n__2_85,s__Meter))
         &
         s__width(V__AIM9,s__MeasureFn(n__0_63,s__Meter))
       &
       s__height(V__AIM9,s__MeasureFn(n__0_63,s__Meter))
     &
     s__weight(V__AIM9,s__MeasureFn(n__91,s__Kilogram))
   &
   s__effectiveRange(V__AIM9,s__MeasureFn(n__18,s__Kilometer)))))
)
)

MilitaryDevices.kif 1189-1201
( ! [V__BACTERIUM] :
   ((s__instance(V__BACTERIUM,s__Bacterium) =>
       (( ? [V__NUMBER] :
           ((s__instance(V__NUMBER,s__RealNumber) &
               (s__width(V__BACTERIUM,s__MeasureFn(V__NUMBER,s__Meter))
               &
               s__greaterThanOrEqualTo(V__NUMBER,n__0_000001)
             &
             s__lessThanOrEqualTo(V__NUMBER,n__0_000002)))))))
)
)

WMD.kif 205-211
( ! [V__CH46D] :
   ((s__instance(V__CH46D,s__CH46D) =>
       ((s__length(V__CH46D,s__MeasureFn(n__25_72,s__Meter))
         &
         s__width(V__CH46D,s__MeasureFn(n__15_54,s__Meter))
       &
       s__height(V__CH46D,s__MeasureFn(n__5_1,s__Meter))
     &
     s__weight(V__CH46D,s__MeasureFn(n__7047,s__Kilogram))
   &
   s__effectiveRange(V__CH46D,s__MeasureFn(n__676,s__Kilometer)))))
)
)

MilitaryDevices.kif 1860-1872
( ! [V__CH53E] :
   ((s__instance(V__CH53E,s__CH53E) =>
       ((s__length(V__CH53E,s__MeasureFn(n__30_2,s__Meter))
         &
         s__width(V__CH53E,s__MeasureFn(n__24_1,s__Meter))
       &
       s__height(V__CH53E,s__MeasureFn(n__8_46,s__Meter))
     &
     s__weight(V__CH53E,s__MeasureFn(n__15071,s__Kilogram))
   &
   s__effectiveRange(V__CH53E,s__MeasureFn(n__2000,s__Kilometer)))))
)
)

MilitaryDevices.kif 1788-1800
( ! [V__Harrier] :
   ((s__instance(V__Harrier,s__Harrier2) =>
       ((s__length(V__Harrier,s__MeasureFn(n__14_1,s__Meter))
         &
         s__width(V__Harrier,s__MeasureFn(n__9_2,s__Meter))
       &
       s__height(V__Harrier,s__MeasureFn(n__3_5,s__Meter))
     &
     s__weight(V__Harrier,s__MeasureFn(n__5700,s__Kilogram))
   &
   s__effectiveRange(V__Harrier,s__MeasureFn(n__1000,s__Kilometer)))))
)
)

MilitaryDevices.kif 1744-1756
( ! [V__LAV] :
   ((s__instance(V__LAV,s__LAV25) =>
       ((s__length(V__LAV,s__MeasureFn(n__6_39,s__Meter))
         &
         s__width(V__LAV,s__MeasureFn(n__2_5,s__Meter))
       &
       s__height(V__LAV,s__MeasureFn(n__2_69,s__Meter))
     &
     s__weight(V__LAV,s__MeasureFn(n__12802_8,s__Kilogram))
   &
   s__effectiveRange(V__LAV,s__MeasureFn(n__660_1,s__Kilometer)))))
)
)

MilitaryDevices.kif 1542-1554
( ! [V__VIRUS] :
   ((s__instance(V__VIRUS,s__YellowFeverVirus) =>
       (( ? [V__NUMBER] :
           ((s__instance(V__NUMBER,s__RealNumber) &
               (s__width(V__VIRUS,s__MeasureFn(V__NUMBER,s__Meter))
               &
               (V__NUMBER = n__0_00000002)))))))
   )
)

WMD.kif 1165-1170
( ! [V__X] :
   ((s__instance(V__X,s__DoubleBed) =>
       ((s__width(V__X,s__MeasureFn(n__1_35,s__Meter))
         &
         s__length(V__X,s__MeasureFn(n__2_0,s__Meter)))))
)
)

Mid-level-ontology.kif 3769-3773
( ! [V__X] :
   ((s__instance(V__X,s__KingBed) =>
       ((s__width(V__X,s__MeasureFn(n__1_9,s__Meter))
         &
         s__length(V__X,s__MeasureFn(n__2_0,s__Meter)))))
)
)

Mid-level-ontology.kif 3712-3716
( ! [V__X] :
   ((s__instance(V__X,s__QueenBed) =>
       ((s__width(V__X,s__MeasureFn(n__1_5,s__Meter))
         &
         s__length(V__X,s__MeasureFn(n__2_0,s__Meter)))))
)
)

Mid-level-ontology.kif 3743-3747
( ! [V__X] :
   ((s__instance(V__X,s__SingleBed) =>
       ((s__width(V__X,s__MeasureFn(n__1_0,s__Meter))
         &
         s__length(V__X,s__MeasureFn(n__2_0,s__Meter)))))
)
)

Mid-level-ontology.kif 3795-3799
( ! [V__ZONE] :
   ((s__instance(V__ZONE,s__UniformPerimeterArea) =>
       (( ? [V__WIDTH] :
           ((s__instance(V__WIDTH,s__LengthMeasure) &
               s__width(V__ZONE,V__WIDTH))))))
   )
)

Geography.kif 829-834
( ! [V__HEIGHT,V__UNITWIDTH,V__HOU,V__WOU,V__HO,V__V,V__WO,V__WIDTH,V__UNITHEIGHT] :
   (((s__instance(V__HEIGHT,s__RealNumber) &
         s__instance(V__UNITWIDTH,s__UnitOfMeasure) &
         s__instance(V__HOU,s__UnitOfMeasure) &
         s__instance(V__WOU,s__UnitOfMeasure) &
         s__instance(V__HO,s__RealNumber) &
         s__instance(V__V,s__Vehicle) &
         s__instance(V__WO,s__RealNumber) &
         s__instance(V__WIDTH,s__RealNumber) &
         s__instance(V__UNITHEIGHT,s__UnitOfMeasure))
       =>
       ((s__maximumPayloadHeightWidth(V__V,s__MeasureFn(V__HEIGHT,V__UNITHEIGHT)
        ,s__MeasureFn(V__WIDTH,V__UNITWIDTH))
     =>
     (~(( ? [V__TP, V__O] :
           ((s__instance(V__O,s__SelfConnectedObject) &
               (s__instance(V__TP,s__Transportation) &
                 s__instrument(V__TP,V__V)
               &
               s__patient(V__TP,V__O)
             &
             s__width(V__O,s__MeasureFn(V__WO,V__WOU))
         &
         s__height(V__O,s__MeasureFn(V__HO,V__HOU))
     &
     (V__WOU = V__UNITWIDTH)
     &
     (V__HOU = V__UNITHEIGHT)
     &
     s__greaterThan(V__WO,V__WIDTH)
   &
   s__greaterThan(V__HO,V__HEIGHT))))))))))
)
)

MilitaryDevices.kif 121-138


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