(=>
(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 ?E Entering)
(destination ?E ?F)
(attribute ?F PhysicallyRestrictedRegion))
(modalAttribute
(exists (?R)
(and
(entrance ?R ?F)
(path ?E ?R))) Obligation)) |
Mid-level-ontology.kif 8005-8014 |
If X is an instance of entering, X ends up at Y, and physically restricted region is an attribute of Y, then the statement there exists Z such that Z is the entrance for Y and Z is path along which X occurs has the modal force of obligation |
(=>
(and
(instance ?E Entering)
(destination ?E ?F)
(attribute ?F PhysicallyRestrictedRegion)
(not
(entrance ?R ?F)))
(modalAttribute
(path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 8016-8024 |
If X is an instance of entering, X ends up at Y, physically restricted region is an attribute of Y, and Z is the entrance for Y, then the statement Z is path along which X occurs has the modal force of prohibition |
(=>
(and
(instance ?E Exiting)
(origin ?E ?F)
(attribute ?F PhysicallyRestrictedRegion))
(modalAttribute
(exists (?R)
(and
(entrance ?R ?F)
(path ?E ?R))) Obligation)) |
Mid-level-ontology.kif 8026-8035 |
If X is an instance of exiting, X originates at Y, and physically restricted region is an attribute of Y, then the statement there exists Z such that Z is the entrance for Y and Z is path along which X occurs has the modal force of obligation |
(=>
(and
(instance ?E Exiting)
(origin ?E ?F)
(attribute ?F PhysicallyRestrictedRegion)
(not
(entrance ?R ?F)))
(modalAttribute
(path ?E ?R) Prohibition)) |
Mid-level-ontology.kif 8037-8045 |
If X is an instance of exiting, X originates at Y, physically restricted region is an attribute of Y, and Z is the entrance for Y, then the statement Z is path along which X occurs has the modal force of prohibition |
