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

Formal Language: 



KB Term:  Term intersection
English Word: 

  side

Sigma KEE - side
side

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


(documentation side ChineseLanguage "(side ?SIDE ?OBJECT)的意思是 ?SIDE 和 topbottom 相反,是一个物体的旁边。") 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 9655-9656
(domain side 1 SelfConnectedObject) Merge.kif 9652-9652
(domain side 2 SelfConnectedObject) Merge.kif 9653-9653
(instance side BinaryPredicate) Merge.kif 9651-9651
(subrelation side superficialPart) Merge.kif 9650-9650

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
(termFormat ChineseLanguage side "侧") domainEnglishFormat.kif 52917-52917
(termFormat ChineseLanguage side "边") chinese_format.kif 388-388
(termFormat ChineseTraditionalLanguage side "側") domainEnglishFormat.kif 52916-52916
(termFormat EnglishLanguage side "side") domainEnglishFormat.kif 52915-52915

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 5720-5734
(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))
Geography.kif 4087-4091
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))
Geography.kif 4098-4102
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))
Merge.kif 9658-9664
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))
Merge.kif 9666-9671
(=>
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH)))
    (width ?OBJECT ?WIDTH))
Merge.kif 9681-9687

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


(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2)
        (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.0 ?HF))
            (greaterThan ?H2
                (MultiplicationFn 2.0 ?HF)))))
Mid-level-ontology.kif 2745-2757
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2)
        (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.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))
Mid-level-ontology.kif 2765-2777
(=>
    (instance ?BOX Box)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (or
                    (top ?SIDE ?BOX)
                    (bottom ?SIDE ?BOX)
                    (side ?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4382-4390
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 893-895
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 874-876
(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))
Mid-level-ontology.kif 25493-25498
(=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9673-9679


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