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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NapoleonicCode
  IconMotorcyleEquipmentCorporation

 Sigma KEE - NapoleonicCode
NapoleonicCode(napoleonic code)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 821-824
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 819-819 Napoleonic code is an instance of legal system attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 818-818 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 39699-39699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39698-39698
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39697-39697


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