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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WitotoProperLanguage

 Sigma KEE - WitotoProperLanguage
WitotoProperLanguage

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 WitotoProperLanguage e' uma sub-classe de WitotoGroupLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14117-14117 MinicaMuruiLanguage e' uma sub-classe de WitotoProperLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14150-14150 NipodeLanguage e' uma sub-classe de WitotoProperLanguage
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