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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - side
side

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


(documentation side ChineseLanguage "(side ?SIDE ?OBJECT)的意思是 ?SIDE 和 topbottom 相反,是一个物体的旁边。") Merge.kif 13474-13475
(documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.") Merge.kif 13471-13472
(documentation side JapaneseLanguage "(side ?SIDE ?OBJECT) とは、?SIDE が top または %bottom ではなくオブジェクトの側であることを意味する。") Merge.kif 13477-13478
(domain side 1 SelfConnectedObject) Merge.kif 13468-13468 The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject) Merge.kif 13469-13469 The number 2 argument of side is an instance of self connected object
(instance side BinaryPredicate) Merge.kif 13467-13467 side is an instance of binary predicate
(subrelation side superficialPart) Merge.kif 13466-13466 side is a subrelation of superficial part

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


(format ChineseLanguage side "%1 %n 是 %2 的一 side") chinese_format.kif 387-387
(format EnglishLanguage side "a side of %2 is %n %1") english_format.kif 549-549
(format JapaneseLanguage side "%2 の side は %1 では %n ") english_format.kif 550-550
(termFormat ChineseLanguage side "侧") domainEnglishFormat.kif 52873-52873 "侧" is the printable form of side in ChineseLanguage
(termFormat ChineseLanguage side "边") chinese_format.kif 388-388 "边" is the printable form of side in ChineseLanguage
(termFormat ChineseTraditionalLanguage side "側") domainEnglishFormat.kif 52872-52872 "側" is the printable form of side in ChineseTraditionalLanguage
(termFormat EnglishLanguage side "side") domainEnglishFormat.kif 52871-52871 "side" is the printable form of side in english language

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


(=>
    (and
        (instance ?Isthmus Isthmus)
        (side ?Leftside ?Isthmus)
        (side ?Rightside ?Isthmus)
        (not
            (equal ?Leftside ?Rightside)))
    (exists (?Region1 ?Region2 ?Water1 ?Water2)
        (and
            (instance ?Region1 LandArea)
            (instance ?Region2 LandArea)
            (between ?Region1 ?Isthmus ?Region2)
            (instance ?Water1 WaterArea)
            (instance ?Water2 WaterArea)
            (meetsSpatially ?Leftside ?Water1)
            (meetsSpatially ?Rightside ?Water2))))
Geography.kif 5484-5498
(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 3939-3943
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 3950-3954
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))
Merge.kif 13481-13487
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))
Merge.kif 13489-13494

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


(<=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 13496-13502 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
(=>
    (attribute ?F Flat)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (height ?F
            (MeasureFn ?HF ?U))
        (height ?S1
            (MeasureFn ?H1 ?U))
        (height ?S2
            (MeasureFn ?H2 ?U))
        (greaterThan ?H1
            (MultiplicationFn 2 ?HF))
        (greaterThan ?H2
            (MultiplicationFn 2 ?HF))))
Mid-level-ontology.kif 3252-3263
(=>
    (attribute ?F LongAndThin)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (length ?F
            (MeasureFn ?HF ?U))
        (length ?S1
            (MeasureFn ?H1 ?U))
        (length ?S2
            (MeasureFn ?H2 ?U))
        (lessThan ?H1
            (MultiplicationFn 3 ?HF))
        (lessThan ?H2
            (MultiplicationFn 3 ?HF))))
Mid-level-ontology.kif 3276-3287
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4958-4966
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 1394-1396
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 1351-1353
(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))
Mid-level-ontology.kif 23996-24001


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners