Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FlightSteward(flight steward) |
| appearance as argument number 1 |
|
| (instance FlightSteward ServicePosition) | Transportation.kif 3165-3165 | Flight steward is an instance of service position |
| (instance FlightSteward SafetyPosition) | Transportation.kif 3166-3166 | Flight steward is an instance of safety position |
| (documentation FlightSteward EnglishLanguage "A job on an %&Airplane where the worker takes care of the passengers, proving safety briefings and refreshments.") | Transportation.kif 3167-3169 | Flight steward is an instance of safety position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlightSteward "flight steward") | Transportation.kif 3170-3170 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?X FlightSteward)) (holdsDuring ?T (exists (?P) (and (instance ?P Airplane) (located ?X ?P))))) |
Transportation.kif 3172-3179 | If flight steward is an attribute of X holds during Y, then there exists Z such that Z is an instance of airplane and X is located at Z holds during Y |
| (=> (holdsDuring ?T (attribute ?X FlightSteward)) (hasPurpose ?X (holdsDuring ?T (exists (?P) (and (instance ?P Airplane) (not (exists (?G) (and (instance ?G Guiding) (agent ?G ?X) (instrument ?G ?P))))))))) |
Transportation.kif 3181-3194 | If flight steward is an attribute of X holds during Y, then X has the purpose there exists Z such that Z is an instance of airplane, there doesn't exist W such that W is an instance of guiding, X is an agent of W, and Z is an instrument for W holds during Y |
|