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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AltaicLanguage

 Sigma KEE - AltaicLanguage
AltaicLanguage(阿爾泰語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5101-5102
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9878-9878
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10384-10384
No TPTP formula. May not be expressible in strict first order. Languages.kif 5100-5100 子類 阿爾泰語 and 口語人類語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14656-14656 例 MongolianLanguage and 阿爾泰語
No TPTP formula. May not be expressible in strict first order. Languages.kif 5106-5106 子類 土耳其語 and 阿爾泰語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6990-6990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6989-6989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6988-6988


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