  entrance
|
|
Sigma KEE - entrance
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
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 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 ?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)
(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 |
|
consequent
|
|
|
(=>
(and
(instance ?S Shooting)
(instance ?G Gun)
(instrument ?S ?G))
(exists (?E ?GB ?B ?C ?M)
(and
(subProcess ?E ?S)
(instance ?E Exiting)
(eventLocated ?E ?GB)
(instance ?GB GunBarrel)
(part ?GB ?G)
(objectTransferred ?E ?B)
(instance ?B Bullet)
(origin ?B ?C)
(instance ?C BulletCartridge)
(located ?C ?GB)
(path ?E ?GB)
(entrance ?M ?GB)
(instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1397-1416 |
If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle |
(=>
(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 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 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
