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 GermanicLanguage e' uma sub-classe de IndoEuropeanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7112-7112 EastGermanicLanguage e' uma sub-classe de GermanicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 7130-7130 NorthGermanicLanguage e' uma sub-classe de GermanicLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 7313-7313 WestGermanicLanguage e' uma sub-classe de GermanicLanguage
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