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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternRomanceLanguage

Sigma KEE - WesternRomanceLanguage
WesternRomanceLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9619-9621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8799-8799
No TPTP formula. May not be expressible in strict first order. Languages.kif 9618-9618 WesternRomanceLanguage e' uma sub-classe de ItaloWesternRomanceLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9625-9625 GalloIberianLanguage e' uma sub-classe de WesternRomanceLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 10535-10535 PyreneanMozarabicLanguage e' uma sub-classe de WesternRomanceLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62831-62831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62830-62830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62829-62829


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