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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SwedishGroupLanguage

 Sigma KEE - SwedishGroupLanguage
SwedishGroupLanguage(swedish group language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7225-7226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10277-10277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11916-11916
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11912-11912
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11913-11913
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11915-11915
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11920-11920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11919-11919
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11918-11918
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11917-11917
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11914-11914
No TPTP formula. May not be expressible in strict first order. Languages.kif 7224-7224 Swedish group language is a subclass of danish swedish language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7229-7229 Dalecarlian language is an instance of swedish group language
No TPTP formula. May not be expressible in strict first order. Languages.kif 7238-7238 Skane language is an instance of swedish group language
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. Languages.kif 7292-7292 Tavringer romani language is an instance of swedish group language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56491-56491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56490-56490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56489-56489


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