antecedent

(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion)         (entrance ?R ?F))     (hasPurpose ?R         (exists (?E)             (and                 (or                     (instance ?E Entering)                     (instance ?E Exiting))                 (path ?E ?R)))))	Mid-level-ontology.kif 7811-7822	If a region is an instance of Facility and physically restricted region is an attribute of the region and another region is the entrance for the region , then the other region has the purpose there exists an entity such that the entity is an instance of entering or the entity is an instance of exiting and the other region is path along which the entity occurs
(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion))     (exists (?B)         (and             (instance ?B Barrier)             (orientation ?F ?B Surrounded))))	Mid-level-ontology.kif 7802-7809	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
(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion))     (modalAttribute         (exists (?E ?R)             (and                 (or                     (instance ?E Entering)                     (instance ?E Exiting))                 (path ?E ?R)                 (not                     (entrance ?R ?F)))) Unlikely))	Mid-level-ontology.kif 7824-7836	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely
(=>     (and         (instance ?F Facility)         (holdsDuring ?T             (attribute ?F MilitarilySecure))         (instance ?MF MilitaryForce)         (possesses ?MF ?F))     (not         (exists (?A ?E)             (and                 (instance ?A Attack)                 (during ?T                     (WhenFn ?A))                 (destination ?A ?F)                 (agent ?A ?E)                 (enemy ?MF ?E)))))	MilitaryProcesses.kif 2832-2846	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time interval and an agent is an instance of military force and the agent possesses the object, then there don't exist a process and another agent such that the process is an instance of attack and the time interval takes place during the time of existence of the process and the process ends up at the object and the other agent is an agent of the process and the agent and the other agent are enemies of each other
(=>     (and         (instance ?F Facility)         (holdsDuring ?T             (attribute ?F MilitarilySecure))         (instance ?MF MilitaryForce)         (possesses ?MF ?F))     (not         (exists (?E)             (and                 (enemy ?MF ?E)                 (holdsDuring ?T                     (and                         (located ?E ?F)                         (not                             (attribute ?E PrisonerOfWar))))))))	MilitaryProcesses.kif 2848-2863	If an object is an instance of Facility and militarily secure is an attribute of the object holds during a time position and an agent is an instance of military force and the agent possesses the object, then there doesn't exist another agent such that the agent and the other agent are enemies of each other and the other agent is located at the object and prisoner of war is not an attribute of the other agent holds during the time position
(=>     (instance ?F Facility)     (hasPurpose ?F         (exists (?P)             (and                 (instance ?P Process)                 (eventLocated ?P ?F)))))	Mid-level-ontology.kif 7694-7700	If a physical is an instance of Facility, then the physical has the purpose there exists an entity such that the entity is an instance of process and the entity is located at the physical

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