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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SwedishLanguage

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 8024-8024
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6910-6910
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 8021-8021
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 8027-8027
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. pictureList.kif 8023-8023
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 19259-19259

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56503-56503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56502-56502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56501-56501

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