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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsturoLeoneseLanguage

Sigma KEE - AsturoLeoneseLanguage
AsturoLeoneseLanguage(asturo leonese 語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10205-10206
No TPTP formula. May not be expressible in strict first order. Languages.kif 10204-10204 子類 asturo leonese 語言 and 西伊比利亞語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10209-10209 阿斯圖里亞斯語言 and asturo leonese 語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 10255-10255 米蘭達做douro語言 and asturo leonese 語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8832-8832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8831-8831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8830-8830


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