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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PidginLanguage

Sigma KEE - PidginLanguage
PidginLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3469-3477
No TPTP formula. May not be expressible in strict first order. Languages.kif 3468-3468 PidginLanguage e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3752-3752 NdyukaTrioPidginLanguage e' uma instancia de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3481-3481 AmerindianPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3521-3521 EnglishBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3576-3576 HausaBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3598-3598 IhaBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3612-3612 MalayBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3629-3629 MascoianBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3646-3646 MotuBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3668-3668 OninBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3681-3681 RomanceBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3705-3705 SwahiliBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3719-3719 ZuluBasedPidginLanguage e' uma sub-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45792-45792
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45791-45791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45790-45790


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