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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ItaloDalmatianRomanceLanguage

Sigma KEE - ItaloDalmatianRomanceLanguage
ItaloDalmatianRomanceLanguage(italo dalmatian romance language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9509-9511
No TPTP formula. May not be expressible in strict first order. Languages.kif 9508-9508 Italo dalmatian romance language is a subclass of italo western romance language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9514-9514 Dalmatian language is an instance of italo dalmatian romance language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9522-9522 Istriot language is an instance of italo dalmatian romance language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9541-9541 Italian language is an instance of italo dalmatian romance language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9532-9532 Judeo italian language is an instance of italo dalmatian romance language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9588-9588 Napoletano calabrese language is an instance of italo dalmatian romance language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9602-9602 Sicilian language is an instance of italo dalmatian romance language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31267-31267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31266-31266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31265-31265


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