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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GulfLanguage

 Sigma KEE - GulfLanguage
GulfLanguage(海湾语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6570-6573
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10043-10043
No TPTP formula. May not be expressible in strict first order. Languages.kif 6569-6569 海湾语 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6576-6576 阿塔卡帕语言 是 海湾语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 6584-6584 Chitimacha语言 是 海湾语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 6591-6591 Natchez语言 是 海湾语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 6598-6598 图尼卡语 是 海湾语 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27048-27048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27047-27047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27046-27046


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