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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ZanLanguage

 Sigma KEE - ZanLanguage
ZanLanguage(zan language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13108-13109
No TPTP formula. May not be expressible in strict first order. Languages.kif 13107-13107 Zan language is a subclass of south caucasian language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13112-13112 Laz language is an instance of zan language
No TPTP formula. May not be expressible in strict first order. Languages.kif 13134-13134 Mingrelian language is an instance of zan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64083-64083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64082-64082
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64081-64081


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