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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WitotoProperLanguage

 Sigma KEE - WitotoProperLanguage
WitotoProperLanguage(witoto proper language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14111-14113
No TPTP formula. May not be expressible in strict first order. Languages.kif 14110-14110 Witoto proper language is a subclass of witoto group language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14117-14117 Minica murui language is a subclass of witoto proper language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14150-14150 Nipode language is a subclass of witoto proper language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63285-63285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63284-63284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63283-63283


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