Surrounded - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26005-26006
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26004-26004	Surrounded is an instance of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26007-26007

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26009-26014

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8188-8194	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26527-26536	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26021-26032	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