Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Keystone

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 拱心石在线以上subclass
(subclass Keystone JointDoctrine) MilitaryProcesses.kif 1091-1091 拱心石联合作战准则subclass

appearance as argument number 2

(disjoint Capstone Keystone) MilitaryProcesses.kif 1084-1084 顶点 和 % 2 是 disjoint
(termFormat ChineseLanguage Keystone "拱心石") domainEnglishFormat.kif 32359-32359
(termFormat ChineseTraditionalLanguage Keystone "拱心石") domainEnglishFormat.kif 32358-32358
(termFormat EnglishLanguage Keystone "keystone publication") MilitaryProcesses.kif 2777-2777
(termFormat EnglishLanguage Keystone "keystone") domainEnglishFormat.kif 32357-32357

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