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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguaFrancaLanguage

Sigma KEE - LinguaFrancaLanguage
LinguaFrancaLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3687-3701
No TPTP formula. May not be expressible in strict first order. Languages.kif 3686-3686 LinguaFrancaLanguage e' uma instancia de RomanceBasedPidginLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34535-34535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34534-34534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34533-34533


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