Soldier(soldier)

-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 597-597 US military rank special is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 628-628 US military rankW o1 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 638-638 US military rankW o2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 648-648 US military rankW o3 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 658-658 US military rankW o4 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 668-668 US military rankW o5 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 231-231 US revolutionary war soldier is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53840-53840
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53839-53839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53838-53838


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