Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| entrance |
| appearance as argument number 1 |
|
| (instance entrance BinaryPredicate) | Mid-level-ontology.kif 7997-7997 | entrance is an instance of binary predicate |
| (documentation entrance EnglishLanguage "entrance is a BinaryPredicate. In (entrance ?R ?F), ?R is the entrance into the Facility ?F. Both ?R and ?F are Regions. If one is entering the facility ?F, then one is obliged to enter via ?R.") | Mid-level-ontology.kif 7998-8001 | entrance is an instance of binary predicate |
| (domain entrance 1 Region) | Mid-level-ontology.kif 8002-8002 | The number 1 argument of entrance is an instance of region |
| (domain entrance 2 Region) | Mid-level-ontology.kif 8003-8003 | The number 2 argument of entrance is an instance of region |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage entrance "%1 is the entrance for %2 ") | domainEnglishFormat.kif 3308-3308 | |
| (termFormat EnglishLanguage entrance "entrance") | domainEnglishFormat.kif 65834-65834 |
| 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)) (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 |
|