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 9702-9703
(documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.") Merge.kif 9700-9701
(domain side 1 SelfConnectedObject) Merge.kif 9698-9698
(domain side 2 SelfConnectedObject) Merge.kif 9699-9699
(instance side BinaryPredicate) Merge.kif 9697-9697
(subrelation side superficialPart) Merge.kif 9696-9696

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 232-232
(format FrenchLanguage side "le cot� de %2 est %n %1") french_format.kif 222-222
(format ItalianLanguage side "un lato di %2 � %1") relations-it.txt 262-262
(format PortugueseLanguage side "o side de %2 e' %n %1") portuguese_format.kif 174-174
(format ar side "جَانِب %2 هو %n %1") arabic_format.kif 161-161
(format de side "eine seite von %2 ist %1") relations-de.txt 519-519
(format hi side "%2 kaa paarshva %1 hai") relations-hindi.txt 299-299
(format tg side "ang tabi ng %2 ay %1") relations-tg.txt 454-454
(termFormat ChineseLanguage side "边") chinese_format.kif 388-388
(termFormat EnglishLanguage side "side") domainEnglishFormat.kif 9246-9246
(termFormat ar side "«جَانِب»") arabic_format.kif 611-611

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 5485-5499
(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 3940-3944
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 3951-3955
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))
Merge.kif 9705-9711
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))
Merge.kif 9713-9718

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


(<=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9720-9726
(=>
    (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 4957-4965
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 948-950
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 923-925
(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))
Mid-level-ontology.kif 23915-23920


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