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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnglishBasedPidginLanguage

Sigma KEE - EnglishBasedPidginLanguage
EnglishBasedPidginLanguage(基於英語的拼音語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3522-3523
No TPTP formula. May not be expressible in strict first order. Languages.kif 3521-3521 子類 基於英語的拼音語言 and 洋涇浜語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3527-3527 子類 基於大西洋英語的洋涇語言 and 基於英語的拼音語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 3545-3545 子類 基於太平洋英語的洋涇浜語 and 基於英語的拼音語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22144-22144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22143-22143
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22142-22142


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