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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernChukotkoKamchatkanLanguage

Sigma KEE - NorthernChukotkoKamchatkanLanguage
NorthernChukotkoKamchatkanLanguage(北部chukotko kamchatkan 語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6254-6256
No TPTP formula. May not be expressible in strict first order. Languages.kif 6253-6253 子類 北部chukotko kamchatkan 語 and chukotko kamchatkan 語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6260-6260 子類 chukot集團的語言 and 北部chukotko kamchatkan 語
No TPTP formula. May not be expressible in strict first order. Languages.kif 6283-6283 子類 koryak alyutor 語言 and 北部chukotko kamchatkan 語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41075-41075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41074-41074
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41073-41073


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