(=>
(instance ?F Facility)
(hasPurpose ?F
(exists (?P)
(and
(instance ?P Process)
(eventLocated ?P ?F))))) |
Mid-level-ontology.kif 7849-7855 |
If X is an instance of Facility, then X has the purpose there exists Y such that Y is an instance of process and Y is located at X |
(=>
(and
(instance ?F Facility)
(attribute ?F PhysicallyRestrictedRegion))
(exists (?B)
(and
(instance ?B Barrier)
(orientation ?F ?B Surrounded)))) |
Mid-level-ontology.kif 7961-7968 |
If X is an instance of Facility and physically restricted region is an attribute of X, then there exists Y such that Y is an instance of barrier and X is surrounded by to Y |
(=>
(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 7970-7981 |
If X is an instance of Facility, physically restricted region is an attribute of X, and Y is the entrance for X, then Y has the purpose there exists Z such that Z is an instance of entering or Z is an instance of exiting and Y is path along which Z occurs |
(=>
(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 7983-7995 |
If X is an instance of Facility and physically restricted region is an attribute of X, then the statement there exist Y, Z such that Y is an instance of entering or Y is an instance of exiting, Z is path along which Y occurs, and Z is the entrance for X 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 2873-2887 |
If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then All of the following hold: (1) there don't exist W (2) V such that W is an instance of attack (3) Y takes place during the time of existence of W (4) W ends up at X (5) V is an agent of W (6) Z (7) V 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 2889-2904 |
If X is an instance of Facility, militarily secure is an attribute of X holds during Y, Z is an instance of military force, and Z possesses X, then there doesn't exist W such that Z, W are enemies of each other, W is located at X, and prisoner of war is not an attribute of W holds during Y |
Missouri