Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| physicalEnd |
| appearance as argument number 1 |
|
| (instance physicalEnd BinaryPredicate) | Merge.kif 18274-18274 | physical end is an instance of binary predicate |
| (subrelation physicalEnd properPart) | Merge.kif 18275-18275 | physical end is a subrelation of proper part |
| (documentation physicalEnd EnglishLanguage "A notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute.") | Merge.kif 18277-18278 | physical end is a subrelation of proper part |
| (domain physicalEnd 1 Object) | Merge.kif 18279-18279 | The number 1 argument of physical end is an instance of object |
| (domain physicalEnd 2 Object) | Merge.kif 18280-18280 | The number 2 argument of physical end is an instance of object |
| (subrelation physicalEnd part) | Merge.kif 18285-18285 | physical end is a subrelation of part |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage physicalEnd "one end of %2 is %1") | Merge.kif 18276-18276 | |
| (termFormat EnglishLanguage physicalEnd "physical end") | Merge.kif 18284-18284 |
| antecedent |
|
|
| (=> (and (relativeAngle ?O1 ?O2 ?N) (physicalEnd ?E1 ?O1) (physicalEnd ?E2 ?O1) (not (equal ?E1 ?E2)) (length ?O1 (MeasureFn ?N1 ?U)) (length ?O2 (MeasureFn ?N2 ?U)) (distance ?E1 ?E3 (MeasureFn ?N3 ?U)) (physicalEnd ?E3 ?O2) (physicalEnd ?E4 ?O2) (not (equal ?E3 ?E4)) (not (meetsSpatially ?E1 ?E3))) (equal ?N (ArcCosineFn (DivisionFn (SubtractionFn (SubtractionFn (MultiplicationFn ?N3 ?N3) (MultiplicationFn ?N1 ?N1)) (MultiplicationFn ?N2 ?N2)) (MultiplicationFn 2.0 (MultiplicationFn ?N1 ?N2)))))) |
Merge.kif 18247-18272 | If All of the following hold: (1) the relative angle between X and Y is Z (2) one end of X is W (3) one end of X is V (4) equal W and V (5) the length of X is U T(s) (6) the length of Y is S T(s) (7) the distance between W and R is Q T(s) (8) one end of Y is R (9) one end of Y is P (10) equal R and P (11) W doesn't meet R, then equal Z and the arccosine of ((Q and Q and U and U) and S and S) and 2.0 and U and S |
| (=> (and (physicalEnd ?P1 ?O) (physicalEnd ?P2 ?O) (not (equal ?P1 ?P2)) (distance ?P1 ?P2 (MeasureFn ?D ?U))) (not (exists (?OP1 ?OP2 ?N2) (and (physicalEnd ?OP1 ?O) (physicalEnd ?OP2 ?O) (not (equal ?OP1 ?OP2)) (distance ?OP1 ?OP2 (MeasureFn ?N2 ?U)) (greaterThan ?N2 ?D))))) |
Merge.kif 18287-18302 | If one end of X is Y, one end of X is Z, equal Y and Z, and the distance between Y and Z is W V(s), then there don't exist U, T and S such that one end of X is U and one end of X is T and equal U and T and the distance between U and T is S V(s) and S is greater than W |
| (=> (physicalEnd ?E ?O) (attribute ?O LongAndThin)) |
Mid-level-ontology.kif 1517-1519 | If one end of X is Y, then long and thin is an attribute of X |
| (=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin))) |
Mid-level-ontology.kif 1521-1524 | If one end of X is Y, then long and thin is not an attribute of Y |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1526-1533 | If one end of X is Y, one end of X is Z, and equal Y and Z, then Y and Z doesn't overlapsSpatially |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1535-1542 | If one end of X is Y, one end of X is Z, and equal Y and Z, then Y doesn't meet Z |
| (=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP)) |
Mid-level-ontology.kif 1544-1548 | If one end of X is Y and Z is a superficial part of X, then Y meets Z |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (part ?P1 ?E1) (part ?P2 ?E2) (instance ?U UnitOfLength) (distance ?P1 ?P2 (MeasureFn ?D1 ?U)) (not (equal ?E1 ?E2))) (not (exists (?OP1 ?OP2 ?D2) (and (not (part ?OP1 ?E1)) (not (part ?OP2 ?E2)) (distance ?OP1 ?OP2 (MeasureFn ?D2 ?U)) (greaterThan ?D2 ?D1))))) |
Mid-level-ontology.kif 1550-1570 | If All of the following hold: (1) one end of X is Y (2) one end of X is Z (3) W is a part of Y (4) V is a part of Z (5) U is an instance of unit of length (6) the distance between W and V is T U(s) (7) equal Y and Z, then there don't exist S, R and Q such that S is not a part of Y and R is not a part of Z and the distance between S and R is Q U(s) and Q is greater than T |
| (=> (physicalEnd ?P1 ?O) (attribute ?O LongAndThin)) |
Mid-level-ontology.kif 3441-3443 | If one end of X is Y, then long and thin is an attribute of X |
| (=> (and (muscleOrigin ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (located ?E ?L))) |
Anatomy.kif 1730-1751 | If All of the following hold: (1) the origin of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is located at R holds during the end of V |
| (=> (and (muscleInsertion ?MC ?BPC) (instance ?H Human) (holdsDuring ?T (attribute ?H StandardAnatomicalPosition)) (attribute ?H Healthy) (instance ?C MuscularContraction) (during (WhenFn ?C) ?T) (instance ?M ?MC) (part ?M ?H) (instrument ?C ?M) (physicalEnd ?E ?M) (meetsSpatially ?E ?BP) (holdsDuring (BeginFn ?C) (located ?E ?L))) (holdsDuring (EndFn ?C) (not (located ?E ?L)))) |
Anatomy.kif 1780-1802 | If All of the following hold: (1) the insertion point of X is Y (2) Z is an instance of human (3) standard anatomical position is an attribute of Z holds during W (4) healthy is an attribute of Z (5) V is an instance of muscular contraction (6) the time of existence of V takes place during W (7) U is an instance of X (8) U is a part of Z (9) U is an instrument for V (10) one end of U is T (11) T meets S (12) T is located at R holds during the beginning of V, then T is not located at R holds during the end of V |
| consequent |
|
|
| (=> (and (physicalEnd ?P1 ?O) (physicalEnd ?P2 ?O) (not (equal ?P1 ?P2)) (distance ?P1 ?P2 (MeasureFn ?D ?U))) (not (exists (?OP1 ?OP2 ?N2) (and (physicalEnd ?OP1 ?O) (physicalEnd ?OP2 ?O) (not (equal ?OP1 ?OP2)) (distance ?OP1 ?OP2 (MeasureFn ?N2 ?U)) (greaterThan ?N2 ?D))))) |
Merge.kif 18287-18302 | If one end of X is Y, one end of X is Z, equal Y and Z, and the distance between Y and Z is W V(s), then there don't exist U, T and S such that one end of X is U and one end of X is T and equal U and T and the distance between U and T is S V(s) and S is greater than W |
|