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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Capstone
Capstone(capstone)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1084-1084 Capstone is disjoint from keystone
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1085-1088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5898-5898
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1082-1082 Capstone is a subclass of above the line
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1083-1083 Capstone is a subclass of joint doctrine

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13110-13110
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13109-13109
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2776-2776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13108-13108


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