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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpanishLanguage

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 12724-12725
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 12723-12723 Spanish language is an instance of natural language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12722-12722 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 54358-54358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54357-54357
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54356-54356

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 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