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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GermanicLanguage

 Sigma KEE - GermanicLanguage
GermanicLanguage(德系语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7106-7108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10032-10032
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11076-11076
No TPTP formula. May not be expressible in strict first order. Languages.kif 7105-7105 德系语 是 印度欧洲语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7112-7112 东德语 是 德系语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 7130-7130 北方的德语 是 德系语 的 subclass
No TPTP formula. May not be expressible in strict first order. Languages.kif 7313-7313 西德语 是 德系语 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25884-25884
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25883-25883
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25882-25882


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