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 EnglishBasedPidginLanguage est une sous-classe de PidginLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3527-3527 AtlanticEnglishBasedPidginLanguage est une sous-classe de EnglishBasedPidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3545-3545 PacificEnglishBasedPidginLanguage est une sous-classe de EnglishBasedPidginLanguage
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