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 GulfLanguage e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6576-6576 AtakapaLanguage e' uma instancia de GulfLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6584-6584 ChitimachaLanguage e' uma instancia de GulfLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6591-6591 NatchezLanguage e' uma instancia de GulfLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 6598-6598 TunicaLanguage e' uma instancia de GulfLanguage
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