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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthwesternZoneIndoAryanLanguage
NorthwesternZoneIndoAryanLanguage(northwestern zone indo aryan language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8797-8799
No TPTP formula. May not be expressible in strict first order. Languages.kif 8796-8796 Northwestern zone indo aryan language is a subclass of indo aryan language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8803-8803 Dardic language is a subclass of northwestern zone indo aryan language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41235-41235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41234-41234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41233-41233


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