Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| passenger |
| appearance as argument number 1 |
|
| (instance passenger CaseRole) | Mid-level-ontology.kif 33349-33349 | passenger is an instance of case role |
| (subrelation passenger objectTransferred) | Mid-level-ontology.kif 33350-33350 | passenger is a subrelation of object transferred |
| (domain passenger 1 Transfer) | Mid-level-ontology.kif 33351-33351 | The number 1 argument of passenger is an instance of transfer |
| (domain passenger 2 Object) | Mid-level-ontology.kif 33352-33352 | The number 2 argument of passenger is an instance of object |
| (documentation passenger EnglishLanguage "The CaseRole of being a passenger on a vehicle, rather than its driver or power source.") | Mid-level-ontology.kif 33353-33354 | The number 2 argument of passenger is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage passenger "%2 is %n a passenger in %1") | Mid-level-ontology.kif 33356-33356 | |
| (termFormat EnglishLanguage passenger "passenger") | Mid-level-ontology.kif 33357-33357 |
| antecedent |
|
|
| (=> (passenger ?PROC ?PASS) (instance ?PROC Transportation)) |
Mid-level-ontology.kif 33359-33361 | If X is a passenger in Y, then Y is an instance of transportation |
| (=> (and (passenger ?PROC ?PASS) (instance ?V Vehicle) (instrument ?PROC ?V)) (not (exists (?G) (and (during (WhenFn ?G) (WhenFn ?PROC)) (instance ?G Guiding) (agent ?G ?PASS) (instrument ?G ?V))))) |
Mid-level-ontology.kif 33363-33374 | If X is a passenger in Y, Z is an instance of vehicle, and Z is an instrument for Y, then there doesn't exist W such that the time of existence of W takes place during the time of existence of Y, W is an instance of guiding, X is an agent of W, and Z is an instrument for W |
| consequent |
|
|
| (=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?P ?TIME) (and (instance ?T Translocation) (locatedAtTime ?P ?TIME ?TERM) (or (passenger ?T ?P) (conveyance ?T ?P)) (or (equal ?TIME (BeginFn (WhenFn ?T))) (equal ?TIME (EndFn (WhenFn ?T)))))))) |
Transportation.kif 4196-4208 | If X is an instance of transit terminal, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of translocation (3) Z located at time W for X (4) Z is a passenger in Y, Z is a conveyance during Y (5) equal W (6) the beginning of the time of existence of Y, or equal W (7) the end of the time of existence of Y |
|