Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| relativeBearing |
| appearance as argument number 1 |
|
| (instance relativeBearing TernaryPredicate) | Geography.kif 5362-5362 | relative bearing is an instance of ternary predicate |
| (domain relativeBearing 1 Object) | Geography.kif 5363-5363 | The number 1 argument of relative bearing is an instance of object |
| (domain relativeBearing 2 Object) | Geography.kif 5364-5364 | The number 2 argument of relative bearing is an instance of object |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 5365-5365 | The number 3 argument of relative bearing is an instance of plane angle measure |
| (documentation relativeBearing EnglishLanguage "(relativeBearing ?OBJ1?OBJ2 ?DEGREES) means that ?OBJ1 and ?OBJ2 are separated by the amount ?DEGREES of PlaneAngleMeasure.") | Geography.kif 5367-5369 | The number 3 argument of relative bearing is an instance of plane angle measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage relativeBearing "%1 is %n relative bearing %2 for %3") | domainEnglishFormat.kif 2137-2137 | |
| (format ChineseTraditionalLanguage relativeBearing "%１ %n 是 對於 ％３ 的 relative 後代") | domainEnglishFormat.kif 2138-2138 | |
| (format ChineseLanguage relativeBearing "%１ %n 是 对于 ％３ 的 relative 后代") | domainEnglishFormat.kif 2139-2139 | |
| (termFormat EnglishLanguage relativeBearing "relative bearing") | domainEnglishFormat.kif 49323-49323 | |
| (termFormat ChineseTraditionalLanguage relativeBearing "相對軸承") | domainEnglishFormat.kif 49324-49324 | |
| (termFormat ChineseLanguage relativeBearing "相对轴承") | domainEnglishFormat.kif 49325-49325 |
| consequent |
|
|
| (=> (instance ?R ThreeDRadar) (hasPurpose ?R (exists (?D ?O ?A ?O ?L ?P) (and (instance ?D Discovering) (instrument ?D ?R) (destination ?D ?O) (instance ?O Object) (origin ?L ?O) (instance ?L ReflectingLight) (subProcess ?L ?D) (destination ?L ?P) (part ?P ?R) (agent ?D ?A) (instance ?A Human) (knows ?A (exists (?DIST ?DEG ?HIGH) (and (distance ?O ?P ?DIST) (relativeBearing ?O ?P ?DEG) (altitude ?O ?P ?HIGH)))))))) |
Transportation.kif 5316-5337 | If X is an instance of three D radar, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , Z,, , V (2) U such that Y is an instance of discovering (3) X is an instrument for Y (4) Y ends up at Z (5) Z is an instance of object (6) V originates at Z (7) V is an instance of reflecting light (8) V is a subprocess of Y (9) V ends up at U (10) U is a part of X (11) W is an agent of Y (12) W is an instance of human (13) W knows there exist T, S (14) R such that the distance between Z (15) U is T (16) Z is relative bearing U for S (17) the altitude of Z relative to U is R |
|