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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GermanicLanguage

 Sigma KEE - GermanicLanguage
GermanicLanguage(germanic language)
Germanic, Germanic_language, Old_Icelandic, Old_Norse, Proto-Norse

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 Germanic language is a subclass of indo european language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7112-7112 East germanic language is a subclass of germanic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 7130-7130 North germanic language is a subclass of germanic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 7313-7313 West germanic language is a subclass of germanic language
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