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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralGreatAndamaneseLanguage

Sigma KEE - CentralGreatAndamaneseLanguage
CentralGreatAndamaneseLanguage(central great andamanese language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5373-5376
No TPTP formula. May not be expressible in strict first order. Languages.kif 5372-5372 Central great andamanese language is a subclass of great andamanese language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5379-5379 A pucikwar language is an instance of central great andamanese language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5392-5392 Aka bea language is an instance of central great andamanese language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5402-5402 Aka kede language is an instance of central great andamanese language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5409-5409 Aka kol language is an instance of central great andamanese language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5416-5416 Akar bale language is an instance of central great andamanese language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5423-5423 Oko juwoi language is an instance of central great andamanese language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13860-13860
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13859-13859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13858-13858


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