| appearance as argument number 1 |
|
| (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 1092-1097 | |
| (subclass Keystone AboveTheLine) | MilitaryProcesses.kif 1090-1090 | Keystone is a subclass of above the line |
| (subclass Keystone JointDoctrine) | MilitaryProcesses.kif 1091-1091 | Keystone is a subclass of joint doctrine |
| appearance as argument number 2 |
|
|
| (disjoint Capstone Keystone) | MilitaryProcesses.kif 1084-1084 | Capstone is disjoint from keystone |
| (termFormat ChineseLanguage Keystone "拱心石") | domainEnglishFormat.kif 32393-32393 | Capstone is disjoint from keystone |
| (termFormat ChineseTraditionalLanguage Keystone "拱心石") | domainEnglishFormat.kif 32392-32392 | Capstone is disjoint from keystone |
| (termFormat EnglishLanguage Keystone "keystone publication") | MilitaryProcesses.kif 2967-2967 | Capstone is disjoint from keystone |
| (termFormat EnglishLanguage Keystone "keystone") | domainEnglishFormat.kif 32391-32391 | Capstone is disjoint from keystone |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners