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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PijinLanguage

Sigma KEE - PijinLanguage
PijinLanguage(皮金语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 2085-2095
No TPTP formula. May not be expressible in strict first order. Languages.kif 2084-2084 皮金语基于太平洋英语的克里奥尔语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45846-45846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45845-45845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45844-45844


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