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 26038-26039
(instance Surrounded PositionalAttribute)	Mid-level-ontology.kif 26037-26037	Surrounded is an instance of positional attribute

appearance as argument number 2

(termFormat EnglishLanguage Surrounded "surrounded")

Mid-level-ontology.kif 26040-26040

antecedent

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

Mid-level-ontology.kif 26042-26047

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

(=> (instance ?G ResidentialGarden) (modalAttribute (exists (?F) (and (instance ?F Fence) (orientation ?G ?F Surrounded))) Likely))	Mid-level-ontology.kif 8215-8221	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 26560-26569	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 26054-26065	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: