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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AtlanticEnglishBasedCreoleLanguage

Sigma KEE - AtlanticEnglishBasedCreoleLanguage
AtlanticEnglishBasedCreoleLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1560-1562
No TPTP formula. May not be expressible in strict first order. Languages.kif 1559-1559 AtlanticEnglishBasedCreoleLanguage e' uma sub-classe de EnglishBasedCreoleLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1565-1565 SamanaEnglishLanguage e' uma instancia de AtlanticEnglishBasedCreoleLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 1577-1577 EasternAtlanticEnglishBasedCreoleLanguage e' uma sub-classe de AtlanticEnglishBasedCreoleLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 1777-1777 KrioGroupLanguage e' uma sub-classe de AtlanticEnglishBasedCreoleLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 1850-1850 SurinameEnglishBasedCreoleLanguage e' uma sub-classe de AtlanticEnglishBasedCreoleLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 1903-1903 WesternAtlanticEnglishBasedCreoleLanguage e' uma sub-classe de AtlanticEnglishBasedCreoleLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8880-8880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8879-8879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8878-8878


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