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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chaplain

 Sigma KEE - Chaplain
Chaplain(chaplain)Holy_Joe, chaplain, hospital_chaplain, military_chaplain, padre, prison_chaplain, sky_pilot

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


No TPTP formula. May not be expressible in strict first order. People.kif 1134-1135
No TPTP formula. May not be expressible in strict first order. People.kif 1133-1133 Chaplain is an instance of religious position

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14160-14160
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14159-14159
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14158-14158


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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