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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpanishLanguage
SpanishLanguage(spanish language)
Mexican_Spanish, Spanish

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12751-12752
No TPTP formula. May not be expressible in strict first order. Languages.kif 10359-10444
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7951-7951
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7952-7952
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6885-6885
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7953-7953
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. Mid-level-ontology.kif 12750-12750 Spanish language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12749-12749 Spanish language is an instance of spoken human language
No TPTP formula. May not be expressible in strict first order. emotion.kif 971-971
No TPTP formula. May not be expressible in strict first order. emotion.kif 1152-1152
No TPTP formula. May not be expressible in strict first order. emotion.kif 1012-1012
No TPTP formula. May not be expressible in strict first order. emotion.kif 731-731
No TPTP formula. May not be expressible in strict first order. emotion.kif 899-899
No TPTP formula. May not be expressible in strict first order. emotion.kif 942-942
No TPTP formula. May not be expressible in strict first order. emotion.kif 953-953
No TPTP formula. May not be expressible in strict first order. emotion.kif 838-838
No TPTP formula. May not be expressible in strict first order. emotion.kif 1166-1166
No TPTP formula. May not be expressible in strict first order. emotion.kif 1027-1027
No TPTP formula. May not be expressible in strict first order. emotion.kif 1085-1085
No TPTP formula. May not be expressible in strict first order. emotion.kif 823-823
No TPTP formula. May not be expressible in strict first order. emotion.kif 1060-1060
No TPTP formula. May not be expressible in strict first order. emotion.kif 719-719
No TPTP formula. May not be expressible in strict first order. emotion.kif 934-934
No TPTP formula. May not be expressible in strict first order. emotion.kif 712-712

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54337-54337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54336-54336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54335-54335

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14777-14777 "es" in ISO-639-1 denotes spanish language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners