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 和 top 或 bottom 相反，是一个物体的旁边。") chinese_format.kif 2847-2848
(documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.") Merge.kif 9835-9836
(documentation side JapaneseLanguage "(side ?SIDE ?OBJECT) とは、?SIDE が top または %bottom ではなくオブジェクトの側であることを意味する。") japanese_format.kif 1591-1592
(domain side 1 SelfConnectedObject) Merge.kif 9832-9832 Le nombre 1 argument de side est une instance de objet en une partie
(domain side 2 SelfConnectedObject) Merge.kif 9833-9833 Le nombre 2 argument de side est une instance de objet en une partie
(instance side BinaryPredicate) Merge.kif 9831-9831 side est une instance de pr�dicat binaire
(subrelation side superficialPart) Merge.kif 9830-9830 side est une sous-relation de superficialPart

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 393-393
(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 JapaneseLanguage side "%2 の side は %1 では %n ") japanese_format.kif 2028-2028
(format PortugueseLanguage side "o side de %2 e' %n %1") portuguese_format.kif 174-174
(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 ro side "o side%t{faþã} a lui %2 %n{nu} este %1") relations-ro.kif 242-242
(format sv side "en sida av %2 är %n{inte} %1") relations-sv.txt 239-239
(format tg side "ang tabi ng %2 ay %1") relations-tg.txt 454-454
(termFormat ChineseLanguage side "侧") domainEnglishFormat.kif 52967-52967
(termFormat ChineseLanguage side "边") chinese_format.kif 388-388
(termFormat ChineseTraditionalLanguage side "側") domainEnglishFormat.kif 52966-52966
(termFormat EnglishLanguage side "side") domainEnglishFormat.kif 52965-52965
(termFormat de side "seite") terms-de.txt 162-162

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 5892-5906
(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))		 Geography.kif 4234-4238
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))		 Geography.kif 4245-4249
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9838-9845
(=>
    (and
        (side ?SIDE1 ?OBJECT)
        (side ?SIDE2 ?OBJECT)
        (distance ?SIDE1 ?SIDE2 ?WIDTH))
    (width ?OBJECT ?WIDTH))		 Merge.kif 9862-9867
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))		 Merge.kif 9847-9852

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


(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (height ?F
                (MeasureFn ?HF ?U))
            (height ?S1
                (MeasureFn ?H1 ?U))
            (height ?S2
                (MeasureFn ?H2 ?U))
            (greaterThan ?H1
                (MultiplicationFn 2.0 ?HF))
            (greaterThan ?H2
                (MultiplicationFn 2.0 ?HF)))))		 Mid-level-ontology.kif 3251-3264
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))		 Mid-level-ontology.kif 3272-3285
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))		 Mid-level-ontology.kif 4947-4955
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))		 Merge.kif 903-905
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))		 Merge.kif 884-886
(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))		 Mid-level-ontology.kif 27654-27659
(=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))		 Merge.kif 9854-9860


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