Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FlightWing(flight wing) |
| appearance as argument number 1 |
|
| (subclass FlightWing AirFoil) | Transportation.kif 3338-3338 | Flight wing is a subclass of airfoil |
| (documentation FlightWing EnglishLanguage "A FlightWing is a structure which produces both lift and drag while moving through air. Wings are defined by two shape characteristics, an airfoil section and a planform. Wing efficiency is expressed as lift-to-drag ratio, which compares the benefit of lift with the air resistance of a given wing shape, as it flies. Aerodynamics includes the study of wing performance in air.[Wikipedia]") | Transportation.kif 3339-3344 | Flight wing is a subclass of airfoil |
| (initiallyContainsPart FlightWing Airplane) | Transportation.kif 3346-3346 | Instance of flight wing are always initially part of instances of airplane |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlightWing "flight wing") | Transportation.kif 3345-3345 | |
| (partTypes Aileron FlightWing) | Transportation.kif 3387-3387 | Every aileron is a part of a flight wing |
| antecedent |
|
|
| (=> (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 |
|