Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Languages.kif 3468-3468 PidginLanguage est une sous-classe de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3481-3481 AmerindianPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3521-3521 EnglishBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3576-3576 HausaBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3598-3598 IhaBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3612-3612 MalayBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3629-3629 MascoianBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3646-3646 MotuBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3668-3668 OninBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3681-3681 RomanceBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3705-3705 SwahiliBasedPidginLanguage est une sous-classe de PidginLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3719-3719 ZuluBasedPidginLanguage est une sous-classe de PidginLanguage


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