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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GermanLanguage
GermanLanguage(德国的语言)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14979-14980
No TPTP formula. May not be expressible in strict first order. Languages.kif 7744-7800
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7014-7014
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6596-6596
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7015-7015
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7016-7016
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7017-7017
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7018-7018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7019-7019
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7013-7013
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7020-7020
No TPTP formula. May not be expressible in strict first order. Languages.kif 7743-7743 德国的语言 是 东中德语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14978-14978 德国的语言 是 自然语言 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14977-14977 德国的语言 是 口语人类语言 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 967-967
No TPTP formula. May not be expressible in strict first order. emotion.kif 1178-1178
No TPTP formula. May not be expressible in strict first order. emotion.kif 1009-1009
No TPTP formula. May not be expressible in strict first order. emotion.kif 733-733
No TPTP formula. May not be expressible in strict first order. emotion.kif 892-892
No TPTP formula. May not be expressible in strict first order. emotion.kif 933-933
No TPTP formula. May not be expressible in strict first order. emotion.kif 947-947
No TPTP formula. May not be expressible in strict first order. emotion.kif 837-837
No TPTP formula. May not be expressible in strict first order. emotion.kif 1078-1078
No TPTP formula. May not be expressible in strict first order. emotion.kif 814-814
No TPTP formula. May not be expressible in strict first order. emotion.kif 1039-1039

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 25896-25896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25895-25895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25894-25894

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14722-14722 "de" 在 ISO-639-1 denotes 德国的语言


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