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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SwedishLanguage

 Sigma KEE - SwedishLanguage
SwedishLanguage(瑞典語)
more pictures...

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 例 瑞典語 and 瑞典團體語言
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" 在 ISO-639-1 denotes 瑞典語


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