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 25372-25373
(instance Surrounded PositionalAttribute)	Mid-level-ontology.kif 25371-25371	Surrounded is an instance of positional attribute

appearance as argument number 2

(termFormat EnglishLanguage Surrounded "surrounded")

Mid-level-ontology.kif 25374-25374

antecedent

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

Mid-level-ontology.kif 25376-25381

consequent

(=> (instance ?SOAK Soaking) (exists (?WATER ?OBJ) (and (instance ?OBJ Object) (patient ?SOAK ?OBJ) (instance ?WATER Water) (resource ?SOAK ?WATER) (holdsDuring ?SOAK (orientation ?OBJ ?WATER Surrounded)))))	Mid-level-ontology.kif 25890-25899	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 water 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 25388-25399	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