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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FiveNationsLanguage
FiveNationsLanguage(五国语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11145-11146
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10018-10018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11003-11003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11004-11004
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11005-11005
No TPTP formula. May not be expressible in strict first order. Languages.kif 11144-11144 五国语言北方的iroquoian语言subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 11150-11150 莫霍克语oneida语言五国语言subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 11184-11184 塞内卡onondaga语言五国语言subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24092-24092
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24091-24091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24090-24090


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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