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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CigarOrCigarette

 Sigma KEE - DutchBasedCreoleLanguage
DutchBasedCreoleLanguage(基於荷蘭語的克里奧爾語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1513-1513 子類 基於荷蘭語的克里奧爾語 and 克里奧爾語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 1518-1518 例 erbice creole 荷蘭語言 and 基於荷蘭語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 1529-1529 例 荷蘭克里奧爾語 and 基於荷蘭語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 1537-1537 例 petjo語言 and 基於荷蘭語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. Languages.kif 1545-1545 例 skepi克里奧爾語荷蘭語 and 基於荷蘭語的克里奧爾語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20724-20724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20723-20723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20722-20722


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