Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Exiting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Exiting Translocation) | Mid-level-ontology.kif 18844-18844 | Exiting is a subclass of translocation |
| (documentation Exiting EnglishLanguage "Exiting is a subclass of Translocation in which an object go out of a Region. It is the opposite of Entering.") | Mid-level-ontology.kif 18845-18846 | Exiting is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (disjoint Entering Exiting) | Mid-level-ontology.kif 18827-18827 | Entering is disjoint from exiting |
| (termFormat EnglishLanguage Exiting "exiting") | domainEnglishFormat.kif 22778-22778 | Entering is disjoint from exiting |
| antecedent |
|
|
| 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) (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 |
|