Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| courseWRTMagneticNorth |
| appearance as argument number 1 |
|
| (instance courseWRTMagneticNorth TernaryPredicate) | Geography.kif 5319-5319 | courseWRT magnetic north is an instance of ternary predicate |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 5320-5320 | The number 1 argument of courseWRT magnetic north is an instance of physical |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 5321-5321 | The number 2 argument of courseWRT magnetic north is an instance of physical |
| (domain courseWRTMagneticNorth 3 PlaneAngleMeasure) | Geography.kif 5322-5322 | The number 3 argument of courseWRT magnetic north is an instance of plane angle measure |
| (documentation courseWRTMagneticNorth EnglishLanguage "(courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with the reference point of 000 degrees being the magnetic North pole.") | Geography.kif 5324-5327 | The number 3 argument of courseWRT magnetic north is an instance of plane angle measure |
| appearance as argument number 2 |
|
|
|