Surrounded - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Surrounded "surrounded")

Mid-level-ontology.kif 26271-26271

antecedent

(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))

Mid-level-ontology.kif 26273-26278

If a self connected object is surrounded to an object,
then for all another self connected object
- if a side of the self connected object is the other self connected object,
- then the other self connected object meets the object

consequent

(=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion)) (exists (?B) (and (instance ?B Barrier) (orientation ?F ?B Surrounded))))	Mid-level-ontology.kif 6863-6870	If an object is an instance of Facility and physically restricted region is an attribute of the object, then there exists another object such that the other object is an instance of barrier and the object is surrounded to the other object
(=> (instance ?G ResidentialGarden) (modalAttribute (exists (?F) (and (instance ?F Fence) (orientation ?G ?F Surrounded))) Likely))	Mid-level-ontology.kif 8406-8412	If an entity is an instance of residential garden, then the statement there exists another entity such that the other entity is an instance of fence and the entity is surrounded to the other entity has the modal force of likely
(=> (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 26791-26800	If a process is an instance of soaking, then there exist an object and an entity such that the entity is an instance of object and the entity is a patient of the process and the object is an instance of freshwater and the object is a resource for the process and the entity is surrounded to the object holds during the process
(=> (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 26285-26296	If a self connected object is an instance of courtyard, then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object

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

KB Term:			Term intersection

English Word: