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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AkaJeruLanguage
  InferiorLabialArtery

Sigma KEE - AkaJeruLanguage
AkaJeruLanguage(aka jeru language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5460-5463
No TPTP formula. May not be expressible in strict first order. Languages.kif 5459-5459 Aka jeru language is an instance of northern great andamanese language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6342-6342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6341-6341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6340-6340


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