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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrenchBasedCreoleLanguage

 Sigma KEE - FrenchBasedCreoleLanguage
FrenchBasedCreoleLanguage(法语克里奥尔语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2138-2138 法语克里奥尔语 是 克里奥尔语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2144-2144 Amapa克里奥尔语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2153-2153 法国圭亚那克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2166-2166 海地克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2185-2185 Karipuna克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2198-2198 较小的安的列斯克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2249-2249 路易斯安那克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2274-2274 Morisyen语言 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2287-2287 团圆克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2302-2302 圣米格尔克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2310-2310 塞塞瓦克里奥尔语法语 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 2324-2324 Tayo语言 是 法语克里奥尔语 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24932-24932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24931-24931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24930-24930


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