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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirginIslandsCreoleEnglishLanguage

Sigma KEE - VirginIslandsCreoleEnglishLanguage
VirginIslandsCreoleEnglishLanguage(维尔京群岛克里奥尔语英语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1733-1748
No TPTP formula. May not be expressible in strict first order. Languages.kif 1732-1732 维尔京群岛克里奥尔语英语基于东南大西洋英语的克里奥尔语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61736-61736
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61735-61735
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61734-61734


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