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
-------------------------


(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 7593-7594
(documentation width JapaneseLanguage "BinaryPredicate は、最も広いスパンで Object のメ ジャーを左右に述えるために使用される。") japanese_format.kif 1356-1357
(domain width 1 Physical) Merge.kif 7590-7590 The number 1 argument of width is an instance of physical
(domain width 2 LengthMeasure) Merge.kif 7591-7591 The number 2 argument of width is an instance of length measure
(instance width BinaryPredicate) Merge.kif 7588-7588 width is an instance of binary predicate
(instance width SingleValuedRelation) Merge.kif 7587-7587 width is an instance of single valued relation
(subrelation width linearExtent) Merge.kif 7589-7589 width is a subrelation of linear extent

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
(format FrenchLanguage width "la largeur de %1 est %n %2") french_format.kif 372-372
(format ItalianLanguage width "l' ampiezza di %1 è %n %2") relations-it.txt 316-316
(format JapaneseLanguage width "%1 の width は %2 では %n") japanese_format.kif 2106-2106
(format PortugueseLanguage width "a largura de %1 e' %n %2") portuguese_format.kif 324-324
(format de width "die breite von %1 ist %2 %n{nicht}") relations-de.txt 806-806
(format hi width "%1 kii chaudaaii %2 %n hai") relations-hindi.txt 350-350
(format ro width "width%t{lãþimea} lui %1 %n{nu} este %2") relations-ro.kif 394-394
(format sv width "bredden av %1 är %n{inte} %2") relations-sv.txt 413-413
(format tg width "ang kalaparan ng %1 %n ay %2") relations-tg.txt 508-508
(termFormat ChineseLanguage width "宽度") chinese_format.kif 616-616
(termFormat ChineseTraditionalLanguage width "寬度") domainEnglishFormat.kif 63068-63068
(termFormat EnglishLanguage width "width") domainEnglishFormat.kif 63067-63067
(termFormat de width "breite") terms-de.txt 238-238

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 1039-1045
(=>
    (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 5143-5153
(=>
    (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 2639-2648
(=>
    (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 1028-1037
(=>
    (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 1017-1026
(=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9899-9905

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


(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X MiniSizeDisc))
    (width ?X
        (MeasureFn 80 Millimeter)))
Media.kif 1245-1250
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X StandardSizeDisc))
    (width ?X
        (MeasureFn 120 Millimeter)))
Media.kif 1232-1237
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 33015-33020
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 33008-33013
(=>
    (and
        (side ?SIDE1 ?OBJECT)
        (side ?SIDE2 ?OBJECT)
        (distance ?SIDE1 ?SIDE2 ?WIDTH))
    (width ?OBJECT ?WIDTH))
Merge.kif 9907-9912
(=>
    (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 14737-14746
(=>
    (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 14721-14729
(=>
    (instance ?BACTERIUM Bacterium)
    (exists (?NUMBER)
        (and
            (width ?BACTERIUM
                (MeasureFn ?NUMBER Meter))
            (greaterThanOrEqualTo ?NUMBER 0.000001)
            (lessThanOrEqualTo ?NUMBER 0.000002))))
WMD.kif 205-211
(=>
    (instance ?T FiftythreeFtContainer)
    (and
        (length ?T
            (MeasureFn 53 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))
Transportation.kif 3052-3060
(=>
    (instance ?T FortyFtContainer)
    (and
        (length ?T
            (MeasureFn 40 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))
Transportation.kif 2942-2948
(=>
    (instance ?T FortyeightFtContainer)
    (and
        (length ?T
            (MeasureFn 48 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))
Transportation.kif 3029-3037
(=>
    (instance ?T FortyfiveFtContainer)
    (and
        (length ?T
            (MeasureFn 45 FootLength))
        (height ?T
            (MeasureFn 102 Inch))
        (width ?T
            (MeasureFn 8 FootLength))))
Transportation.kif 3010-3018
(=>
    (instance ?T TwentyFtContainer)
    (and
        (length ?T
            (MeasureFn 20 FootLength))
        (width ?T
            (MeasureFn 8 FootLength))))
Transportation.kif 2804-2810
(=>
    (instance ?VIRUS YellowFeverVirus)
    (exists (?NUMBER)
        (and
            (width ?VIRUS
                (MeasureFn ?NUMBER Meter))
            (equal ?NUMBER 0.00000002))))
WMD.kif 1179-1184
(=>
    (instance ?X DoubleBed)
    (and
        (width ?X
            (MeasureFn 1.35 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))
Mid-level-ontology.kif 4284-4288
(=>
    (instance ?X KingBed)
    (and
        (width ?X
            (MeasureFn 1.9 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))
Mid-level-ontology.kif 4227-4231
(=>
    (instance ?X QueenBed)
    (and
        (width ?X
            (MeasureFn 1.5 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))
Mid-level-ontology.kif 4258-4262
(=>
    (instance ?X SingleBed)
    (and
        (width ?X
            (MeasureFn 1.0 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))
Mid-level-ontology.kif 4310-4314
(=>
    (instance ?ZONE UniformPerimeterArea)
    (exists (?WIDTH)
        (and
            (instance ?WIDTH LengthMeasure)
            (width ?ZONE ?WIDTH))))
Geography.kif 995-1000
(=>
    (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


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