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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AdministrationOfVeteransAffairs

Sigma KEE - AdministrationOfVeteransAffairs
AdministrationOfVeteransAffairs(管理退伍军人事务)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12343-12346
No TPTP formula. May not be expressible in strict first order. naics.kif 12341-12341 管理退伍军人事务管理人力资源计划subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5532-5532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5531-5531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5530-5530


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