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

Formal Language: 



KB Term:  Term intersection
English Word: 

  width

 Sigma KEE - width
width

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


(documentation width ChineseLanguage "这是一个 BinaryPredicate， 它是用来表示一个 Object 从 一边到另一边最大的距离。") chinese_format.kif 2640-2641
(documentation width EnglishLanguage "BinaryPredicate that is used to state the measure of an Object from side to side at its widest span.") Merge.kif 7449-7450
(instance width BinaryPredicate) Merge.kif 7446-7446
(instance width SingleValuedRelation) Merge.kif 7445-7445
(subrelation width linearExtent) Merge.kif 7447-7447

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


(format ChineseLanguage width "%1 的 width %n 是 %2") chinese_format.kif 615-615
(format EnglishLanguage width "the width of %1 is %n %2") english_format.kif 618-618
(termFormat ChineseLanguage width "宽度") chinese_format.kif 616-616
(termFormat ChineseTraditionalLanguage width "寬度") domainEnglishFormat.kif 63041-63041
(termFormat EnglishLanguage width "width") domainEnglishFormat.kif 63040-63040

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


(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))		 Geography.kif 881-887
(=>
    (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 4432-4442
(=>
    (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 233-245
(=>
    (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 250-262
(=>
    (and
        (instance ?S Spaghetti)
        (instance ?L Linguine)
        (instance ?U UnitOfLength)
        (width ?S
            (MeasureFn ?W1 ?U))
        (width ?L
            (MeasureFn ?W2 ?U)))
    (greaterThan ?W2 ?W1))		 Food.kif 610-619
(=>
    (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 219-228
(=>
    (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
(=>
    (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 870-879
(=>
    (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 859-868
(=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))		 Merge.kif 9662-9668

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


(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X MiniSizeDisc))
    (width ?X
        (MeasureFn 80 Millimeter)))		 Media.kif 1243-1248
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X StandardSizeDisc))
    (width ?X
        (MeasureFn 120 Millimeter)))		 Media.kif 1230-1235
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 30475-30480
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))		 Mid-level-ontology.kif 30468-30473
(=>
    (defaultMaximumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (greaterThan ?WIDTH ?W))) Unlikely))		 Mid-level-ontology.kif 12862-12871
(=>
    (defaultMinimumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (lessThan ?WIDTH ?W))) Unlikely))		 Mid-level-ontology.kif 12845-12853
(=>
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH)))
    (width ?OBJECT ?WIDTH))		 Merge.kif 9670-9676
(=>
    (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 1662-1674
(=>
    (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 1235-1247
(=>
    (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 1155-1167
(=>
    (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 1900-1912
(=>
    (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 1189-1201
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))		 WMD.kif 205-211
(=>
    (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 1860-1872
(=>
    (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 1788-1800
(=>
    (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 1744-1756
(=>
    (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 1542-1554
(=>
    (instance ?VIRUS YellowFeverVirus)
    (exists (?NUMBER)
        (and
            (width ?VIRUS
                (MeasureFn ?NUMBER Meter))
            (equal ?NUMBER 0.00000002))))		 WMD.kif 1171-1176
(=>
    (instance ?X DoubleBed)
    (and
        (width ?X
            (MeasureFn 1.35 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 3788-3792
(=>
    (instance ?X KingBed)
    (and
        (width ?X
            (MeasureFn 1.9 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 3731-3735
(=>
    (instance ?X QueenBed)
    (and
        (width ?X
            (MeasureFn 1.5 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 3762-3766
(=>
    (instance ?X SingleBed)
    (and
        (width ?X
            (MeasureFn 1.0 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 3814-3818
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))		 Geography.kif 837-842
(=>
    (maximumPayloadHeightWidth ?V
        (MeasureFn ?HEIGHT ?UNITHEIGHT)
        (MeasureFn ?WIDTH ?UNITWIDTH))
    (not
        (exists (?TP ?O)
            (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


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