Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pair(pair) |
| appearance as argument number 1 |
|
| (subclass Pair CollectionOfObjects) | Mid-level-ontology.kif 21886-21886 | Pair is a subclass of collection |
| (documentation Pair EnglishLanguage "A CollectionOfObjects with two members that are not equal and there are no other member.") | Mid-level-ontology.kif 21887-21888 | Pair is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P Pair) (member ?A ?P) (member ?B ?P) (not (equal ?A ?B))) (not (exists (?C) (member ?C ?P)))) |
Mid-level-ontology.kif 21891-21900 | If X is an instance of pair, Y is a member of X, Z is a member of X, and equal Y and Z, then there doesn't exist W such that W is a member of X |
| (=> (instance ?P Pair) (exists (?A ?B) (and (member ?A ?P) (member ?B ?P) (not (equal ?A ?B)) (not (exists (?C) (member ?C ?P)))))) |
Mid-level-ontology.kif 21902-21912 | If X is an instance of pair, then there exist Y, Z such that Y is a member of X, Z is a member of X, equal Y, Z, and there doesn't exist W such that W is a member of X |
| (=> (and (instance ?A Aileron) (member ?A ?P) (instance ?P Pair) (member ?B ?P) (not (equal ?A ?B))) (exists (?W) (and (instance ?W Flightwing) (located ?A ?W) (located ?B ?W) (orientation ?A ?B Left) (orientation ?B ?A Right)))) |
Transportation.kif 3400-3414 | If X is an instance of aileron, X is a member of Y, Y is an instance of pair, Z is a member of Y, and equal X and Z, then there exists W such that W is an instance of Flightwing, X is located at W, Z is located at W, X is left of to Z, and Z is right of to X |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P Aileron) (member ?LA ?P) (instance ?M1 Motion) (moves ?M1 ?LA) (direction ?M1 ?DIR1) (member ?RA ?P) (instance ?M2 Motion) (not (equal ?M1 ?M2)) (moves ?M2 ?RA) (direction ?M2 ?DIR2) (not (exists (?L) (and (instance ?L Landing) (patient ?L ?F))))) (oppositeDirection ?DIR1 ?DIR2)) |
Transportation.kif 3416-3437 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) aileron is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S (14) there doesn't exist R such that R is an instance of landing and Y is a patient of R, then S is an opposite direction of V |
| (=> (and (instance ?E FlightElevator) (member ?E ?P) (instance ?P Pair) (member ?F ?P) (not (equal ?E ?F))) (exists (?T) (and (instance ?T TailPlane) (located ?E ?T) (located ?F ?T) (orientation ?E ?F Left) (orientation ?F ?E Right)))) |
Transportation.kif 3519-3533 | If X is an instance of flight elevator, X is a member of Y, Y is an instance of pair, Z is a member of Y, and equal X and Z, then there exists W such that W is an instance of tail plane, X is located at W, Z is located at W, X is left of to Z, and Z is right of to X |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?LE ?P) (instance ?M1 Motion) (moves ?M1 ?LE) (direction ?M1 ?DIR1) (member ?RE ?P) (instance ?M2 Motion) (not (equal ?M1 ?M2)) (moves ?M2 ?RE) (direction ?M2 ?DIR2)) (equal ?DIR1 ?DIR2)) |
Transportation.kif 3535-3551 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion (7) Z moves during W (8) entities in the process W are moving V (9) U is a member of X (10) T is an instance of motion (11) equal W and T (12) U moves during T (13) entities in the process T are moving S, then equal V and S |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?E ?P) (instance ?M MotionUpward) (moves ?M ?E) (holdsDuring (BeginFn (WhenFn ?M)) (pitch ?F (MeasureFn ?X AngularDegree))) (holdsDuring (EndFn (WhenFn ?M)) (pitch ?F (MeasureFn ?Y AngularDegree)))) (greaterThan ?X ?Y)) |
Transportation.kif 3553-3566 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion upward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is greater than U |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?E ?P) (instance ?M MotionDownward) (moves ?M ?E) (holdsDuring (BeginFn (WhenFn ?M)) (pitch ?F (MeasureFn ?X AngularDegree))) (holdsDuring (EndFn (WhenFn ?M)) (pitch ?F (MeasureFn ?Y AngularDegree)))) (lessThan ?X ?Y)) |
Transportation.kif 3568-3581 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) W is an instance of motion downward (7) Z moves during W (8) Y is heading at V angular degree(s) degree from its level of plane axis. holds during the beginning of the time of existence of W (9) Y is heading at U angular degree(s) degree from its level of plane axis. holds during the end of the time of existence of W, then V is less than U |
| (=> (and (instance ?P Pair) (part ?P ?F) (instance ?F Airplane) (memberType ?P FlightElevator) (member ?E ?P) (holdsDuring ?T (pitch ?F (MeasureFn 0 AngularDegree)))) (holdsDuring ?T (not (exists (?M) (and (moves ?M ?E) (or (instance ?M MotionUpward) (instance ?M MotionDownward))))))) |
Transportation.kif 3583-3599 | If All of the following hold: (1) X is an instance of pair (2) X is a part of Y (3) Y is an instance of airplane (4) flight elevator is a member type of X (5) Z is a member of X (6) Y is heading at 0 angular degree(s) degree from its level of plane axis. holds during W, then there doesn't exist V such that Z moves during V and V is an instance of motion upward or V is an instance of motion downward holds during W |
| consequent |
|
|
| (=> (instance ?A Aileron) (exists (?P ?B) (and (instance ?P Pair) (member ?A ?P) (member ?B ?P) (not (equal ?A ?B)) (orientation ?A ?B Horizontal)))) |
Transportation.kif 3389-3398 | If X is an instance of aileron, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pair (3) X is a member of Y (4) Z is a member of Y (5) equal X (6) Z (7) X is horizontal to to Z |
| (=> (instance ?E FlightElevator) (exists (?P ?F) (and (instance ?P Pair) (member ?E ?P) (member ?F ?P) (not (equal ?E ?F)) (orientation ?E ?F Horizontal)))) |
Transportation.kif 3508-3517 | If X is an instance of flight elevator, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pair (3) X is a member of Y (4) Z is a member of Y (5) equal X (6) Z (7) X is horizontal to to Z |
|