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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SwedishLanguage
SwedishLanguage(swedish language)
more pictures...		Swedish

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7257-7289
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8023-8023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6909-6909
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8024-8024
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8020-8020
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8025-8025
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8026-8026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8021-8021
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8022-8022
No TPTP formula. May not be expressible in strict first order. Languages.kif 7256-7256 Swedish language is an instance of swedish group language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20848-20848 Swedish language is an instance of swedish group language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56536-56536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56535-56535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56534-56534

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14741-14741 "sv" in ISO_639_1 denotes swedish 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 3.0 is open source software produced by Articulate Software and its partners