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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryPrivate
MilitaryPrivate(military private)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20565-20567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20563-20563 Military private is an instance of government position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20564-20564 Military private is a subattribute of soldier

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37706-37706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37705-37705
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37704-37704


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