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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacaneseLanguage

 Sigma KEE - MacaneseLanguage
MacaneseLanguage(马克思语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2727-2733
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10108-10108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11389-11389
No TPTP formula. May not be expressible in strict first order. Languages.kif 2726-2726 马克思语 是 基于葡萄牙语的克里奥尔语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35465-35465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35464-35464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35463-35463


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