Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Keystone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Keystone AboveTheLine) | MilitaryProcesses.kif 1112-1112 | Keystone is a subclass of above the line |
| (subclass Keystone JointDoctrine) | MilitaryProcesses.kif 1113-1113 | Keystone is a subclass of joint doctrine |
| (documentation Keystone EnglishLanguage "Joint doctrine publications that establish the doctrinal foundation for a series of joint publications in the hierarchy of joint publications. Keystone publications are provided for joint personnel support, intelligence support, operations, logistic support, plans, and command, control, communications, and computer systems support series publications.") | MilitaryProcesses.kif 1114-1119 | Keystone is a subclass of joint doctrine |
| appearance as argument number 2 |
|
|
| (disjoint Capstone Keystone) | MilitaryProcesses.kif 1106-1106 | Capstone is disjoint from keystone |
| (termFormat EnglishLanguage Keystone "keystone publication") | MilitaryProcesses.kif 2991-2991 | Capstone is disjoint from keystone |
| (termFormat EnglishLanguage Keystone "keystone") | domainEnglishFormat.kif 32361-32361 | Capstone is disjoint from keystone |
| (termFormat ChineseTraditionalLanguage Keystone "拱心石") | domainEnglishFormat.kif 32362-32362 | Capstone is disjoint from keystone |
| (termFormat ChineseLanguage Keystone "拱心石") | domainEnglishFormat.kif 32363-32363 | Capstone is disjoint from keystone |
|