Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Flying(flying)
|  | flat-hat, flight, flutter, fly, fly_on, hedgehop, in_flight, inside_loop, on_the_wing, outside_loop, rack, soar, spin, tailspin, trim, wing |
| appearance as argument number 1 |
|
|
| (subclass Flying Translocation) | Mid-level-ontology.kif 18985-18985 | Flying is a subclass of translocation |
| (documentation Flying EnglishLanguage "Any instance of Translocation which is through an AtmosphericRegion.") | Mid-level-ontology.kif 18986-18987 | Flying is a subclass of translocation |
| (externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/a/af/ Antarctic%2Calbatros_%28js%29_2.jpg") | pictureList.kif 6016-6016 | Flying is a subclass of translocation |
| (externalImage Flying "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Branta_bernicla_flying%28ThKraft%29.jpg") | pictureList.kif 6522-6522 | Flying is a subclass of translocation |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FLY Flying) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (eventLocated ?FLY ?REGION)))) |
Mid-level-ontology.kif 18989-18994 | If X is an instance of flying, then there exists Y such that Y is an instance of atmospheric region and X is located at Y |
| (=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION))))) |
MilitaryDevices.kif 1101-1112 | If X is an instance of flying, Y is a patient of X, and Y is an instance of air launch missile, then there exists Z such that Z is an instance of atmospheric region and Y is located at Z holds during the beginning of the time of existence of X |
| (=> (and (instance ?M GuidedMissile) (instance ?FLYING Flying) (patient ?FLYING ?M)) (exists (?GUIDING) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?FLYING) (agent ?GUIDING ?M) (during (WhenFn ?GUIDING) (WhenFn ?FLYING))))) |
MilitaryDevices.kif 1208-1220 | If X is an instance of guided missile, Y is an instance of flying, and X is a patient of Y, then there exists Z such that Z is an instance of guiding, Y is a patient of Z, X is an agent of Z, and the time of existence of Z takes place during the time of existence of Y |
| (=> (and (instance ?F Flying) (patient ?F ?P) (instance ?P Airplane) (part ?LW ?P) (instance ?LW FlightWing) (side ?LW ?P) (orientation ?LW ?P Left) (instance ?LA Aileron) (located ?LA ?LW) (instance ?U MotionUpward) (moves ?U ?LA)) (holdsDuring (WhenFn ?U) (exists (?D) (and (instance ?D MotionDownward) (moves ?D ?LW) (causes ?U ?D))))) |
Transportation.kif 3439-3457 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, Z moves during U, and V causes U holds during the time of existence of V |
| (=> (and (instance ?F Flying) (patient ?F ?P) (instance ?P Airplane) (part ?RW ?P) (instance ?RW FlightWing) (side ?RW ?P) (orientation ?RW ?P Right) (instance ?RA Aileron) (located ?RA ?RW) (instance ?D MotionDownward) (moves ?D ?RA)) (holdsDuring (WhenFn ?D) (exists (?U) (and (instance ?U MotionUpward) (moves ?U ?RW) (causes ?D ?U))))) |
Transportation.kif 3459-3477 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, Z moves during U, and V causes U holds during the time of existence of V |
| (=> (and (instance ?F Flying) (patient ?F ?A) (instance ?A Aircraft) (path ?F ?R) (distanceOnPath ?L ?R) (duration (WhenFn ?F) ?D) (speedOfSound ?Q ?R (WhenFn ?F)) (holdsDuring (WhenFn ?F) (measure ?A (MeasureFn ?M MachNumber)))) (equal ?M (DivisionFn (SpeedFn ?L ?D) ?Q))) |
Transportation.kif 5225-5237 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of aircraft (4) Z is path along which X occurs (5) the distance of Z is W (6) duration of the time of existence of X is V (7) the speedOfSound for U at Z is U (8) the measure of Y is T Mach number(s) holds during the time of existence of X, then equal T, W per V, and U |
| (=> (and (instance ?F Flying) (patient ?F ?A) (instance ?A Aircraft) (holdsDuring (WhenFn ?F) (and (measure ?A (MeasureFn ?M MachNumber)) (greaterThan ?M 1) (lessThan ?M 5)))) (attribute ?A Supersonic)) |
Transportation.kif 5262-5273 | If X is an instance of flying, Y is a patient of X, Y is an instance of aircraft, and the measure of Y is Z Mach number(s) and Z is greater than 1 and Z is less than 5 holds during the time of existence of X, then Supersonic is an attribute of Y |
| consequent |
|
|
| (=> (instance ?OFF TakingOff) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (BeginFn (WhenFn ?OFF)) (eventLocated ?OFF ?REGION)) (subProcess ?FLYING ?OFF) (instance ?FLYING Flying)))) |
Mid-level-ontology.kif 19000-19007 | If X is an instance of taking off, then there exist Y, Z such that Y is not an instance of atmospheric region, X is located at Y holds during the beginning of the time of existence of X, Z is a subprocess of X, and Z is an instance of flying |
| (=> (instance ?LAND Landing) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (EndFn (WhenFn ?LAND)) (eventLocated ?LAND ?REGION)) (subProcess ?FLYING ?LAND) (instance ?FLYING Flying)))) |
Mid-level-ontology.kif 19013-19020 | If X is an instance of landing, then there exist Y, Z such that Y is not an instance of atmospheric region, X is located at Y holds during the end of the time of existence of X, Z is a subprocess of X, and Z is an instance of flying |
| (=> (and (instance ?A Aircraft) (attribute ?A Supersonic)) (modalAttribute (exists (?F) (and (instance ?F Flying) (patient ?F ?A) (holdsDuring (WhenFn ?F) (exists (?M) (and (measure ?A (MeasureFn ?M MachNumber)) (greaterThan ?M 1)))))) Possibility)) |
Transportation.kif 5246-5260 | If X is an instance of aircraft and Supersonic is an attribute of X, then the statement there exists Y such that Y is an instance of flying and X is a patient of Y and there exists Z such that the measure of X is Z Mach number(s) and Z is greater than 1 holds during the time of existence of Y has the modal force of possibility |
| (=> (and (instance ?A Aircraft) (attribute ?A Hypersonic)) (modalAttribute (exists (?F) (and (instance ?F Flying) (patient ?F ?A) (holdsDuring (WhenFn ?F) (exists (?M) (and (measure ?A (MeasureFn ?M MachNumber)) (greaterThan ?M 5)))))) Possibility)) |
Transportation.kif 5281-5295 | If X is an instance of aircraft and Hypersonic is an attribute of X, then the statement there exists Y such that Y is an instance of flying and X is a patient of Y and there exists Z such that the measure of X is Z Mach number(s) and Z is greater than 5 holds during the time of existence of Y has the modal force of possibility |
|