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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WestPapuanLanguage

 Sigma KEE - WestPapuanLanguage
WestPapuanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13660-13661
No TPTP formula. May not be expressible in strict first order. Languages.kif 13659-13659 WestPapuanLanguage e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13665-13665 BirdsHeadLanguage e' uma sub-classe de WestPapuanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13768-13768 HattamLanguage e' uma sub-classe de WestPapuanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13784-13784 KebarLanguage e' uma sub-classe de WestPapuanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13799-13799 NorthHalmaheraLanguage e' uma sub-classe de WestPapuanLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62907-62907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62906-62906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62905-62905


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