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 9134-9135
(domain side 1 SelfConnectedObject) Merge.kif 9131-9131 domain side, 1 and SelfConnectedObject
(domain side 2 SelfConnectedObject) Merge.kif 9132-9132 domain side, 2 and SelfConnectedObject
(instance side BinaryPredicate) Merge.kif 9130-9130 instance side and BinaryPredicate
(subrelation side superficialPart) Merge.kif 9129-9129 subrelation side and 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 396-396
(termFormat ChineseLanguage side "侧") domainEnglishFormat.kif 52831-52831
(termFormat ChineseLanguage side "边") chinese_format.kif 388-388
(termFormat ChineseTraditionalLanguage side "側") domainEnglishFormat.kif 52830-52830
(termFormat EnglishLanguage side "side") domainEnglishFormat.kif 52829-52829

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 5499-5513
(=>
    (and
        (instance ?Mesa Mesa)
        (side ?Side ?Mesa))
    (attribute ?Side SteepTerrain))		 Geography.kif 3952-3956
(=>
    (and
        (instance ?butte Butte)
        (side ?side ?butte))
    (attribute ?side SteepTerrain))		 Geography.kif 3963-3967
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9137-9143
(=>
    (and
        (top ?TOP ?O)
        (side ?S ?O))
    (not
        (equal ?TOP ?S)))		 Merge.kif 9145-9150

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


(<=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))		 Merge.kif 9152-9158 width SelfConnectedObject and LengthMeasure SelfConnectedObject SelfConnectedObject side SelfConnectedObject and SelfConnectedObject side SelfConnectedObject and SelfConnectedObject distance SelfConnectedObject, SelfConnectedObject and LengthMeasure
(=>
    (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 3253-3264
(=>
    (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 3277-3288
(=>
    (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 867-869
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))		 Merge.kif 848-850
(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))		 Mid-level-ontology.kif 24060-24065


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