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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PortugueseBasedCreoleLanguage

 Sigma KEE - PortugueseBasedCreoleLanguage
PortugueseBasedCreoleLanguage(基於葡萄牙語的克里奧爾語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2590-2592
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11645-11645
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10197-10197
No TPTP formula. May not be expressible in strict first order. Languages.kif 2589-2589 子類 基於葡萄牙語的克里奧爾語 and 克里奧爾語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2595-2595 例 angolar語言 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2613-2613 例 cafundo克里奧爾語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2623-2623 例 FaDAmbu 語言 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2648-2648 例 indo葡萄牙語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2669-2669 例 kabuverdianu語言 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2690-2690 例 korlai creole 葡萄牙語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2726-2726 例 馬克思語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2701-2701 例 馬六甲克里奧爾語葡萄牙語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2736-2736 例 principense語言 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2748-2748 例 saotomense語言 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2765-2765 例 ternateno語言 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2779-2779 例 帝汶語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 2787-2787 例 上幾內亞克魯瓦語 and 基於葡萄牙語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46766-46766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46765-46765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46764-46764


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