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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NapoleonicCode

 Sigma KEE - NapoleonicCode
NapoleonicCode(napoleonic code)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 785-788
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6716-6716
No TPTP formula. May not be expressible in strict first order. Government.kif 783-783 Napoleonic code is an instance of legal system attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 782-782 Napoleonic code is a subattribute of civil law

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39701-39701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39700-39700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39699-39699


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