Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Surrounded
Surrounded(surrounded by)encircled, surrounded

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


(instance Surrounded PositionalAttribute) Mid-level-ontology.kif 28575-28575 Surrounded by is an instance of positional attribute
(documentation Surrounded EnglishLanguage "Surrounded describes how an object or a collection of objects meetsSpatially with all sides of another object") Mid-level-ontology.kif 28576-28577 Surrounded by is an instance of positional attribute

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


(termFormat EnglishLanguage Surrounded "surrounded by") Mid-level-ontology.kif 28578-28578

appearance as argument number 3
-------------------------


(orientation MediterraneanSea MediterraneanRegion Surrounded) Geography.kif 6352-6352 Mediterranean sea is surrounded by to Mediterranean Region

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


(=>
    (and
        (orientation ?OBJ1 ?OBJ2 Surrounded)
        (side ?X ?OBJ1))
    (meetsSpatially ?X ?OBJ2))		 Mid-level-ontology.kif 28580-28584 If X is surrounded by to Y and a side of X is Z, then Z meets Y

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


(=>
    (and
        (instance ?F Facility)
        (attribute ?F PhysicallyRestrictedRegion))
    (exists (?B)
        (and
            (instance ?B Barrier)
            (orientation ?F ?B Surrounded))))		 Mid-level-ontology.kif 7961-7968 If X is an instance of Facility and physically restricted region is an attribute of X, then there exists Y such that Y is an instance of barrier and X is surrounded by to Y
(=>
    (instance ?G ResidentialGarden)
    (modalAttribute
        (exists (?F)
            (and
                (instance ?F Fence)
                (orientation ?G ?F Surrounded))) Likely))		 Mid-level-ontology.kif 9509-9515 If X is an instance of residential garden, then the statement there exists Y such that Y is an instance of fence and X is surrounded by to Y has the modal force of likely
(=>
    (instance ?X Courtyard)
    (and
        (not
            (exists (?ROOF)
                (and
                    (instance ?ROOF Roof)
                    (top ?ROOF ?X))))
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Surrounded)))))		 Mid-level-ontology.kif 28591-28602 If X is an instance of courtyard, then there doesn't exist Y such that Y is an instance of roof and the top of X is Y and there exists Z such that Z is an instance of building and X is surrounded by to Z
(=>
    (instance ?SOAK Soaking)
    (exists (?WATER ?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?SOAK ?OBJ)
            (instance ?WATER FreshWater)
            (resource ?SOAK ?WATER)
            (holdsDuring ?SOAK
                (orientation ?OBJ ?WATER Surrounded)))))		 Mid-level-ontology.kif 29121-29130 If X is an instance of soaking, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of freshwater, Y is a resource for X, and Z is surrounded by to Y holds during X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners