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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CastilianLanguage
CastilianLanguage(castilian language)Castilian

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10270-10271
No TPTP formula. May not be expressible in strict first order. Languages.kif 10269-10269 Castilian language is a subclass of west iberian language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10274-10274 Calo language is an instance of castilian language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10304-10304 Extramaduran language is an instance of castilian language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10324-10324 Ladino language is an instance of castilian language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10350-10350 Loreto ucayali spanish language is an instance of castilian language
No TPTP formula. May not be expressible in strict first order. Languages.kif 10358-10358 Spanish language is an instance of castilian language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13339-13339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13338-13338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13337-13337


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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