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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BalochiLanguage

 Sigma KEE - BalochiLanguage
BalochiLanguage(balochi language)
more pictures...		Balochi, Baluchi

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8986-8987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9900-9900
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10485-10485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10487-10487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10488-10488
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10486-10486
No TPTP formula. May not be expressible in strict first order. Languages.kif 8985-8985 Balochi language is a subclass of northwestern iranian language

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 8990-8990 Bashkardi language is an instance of balochi language
No TPTP formula. May not be expressible in strict first order. Languages.kif 8996-8996 Eastern balochi language is an instance of balochi language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9014-9014 Koroshi language is an instance of balochi language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9021-9021 Southern balochi language is an instance of balochi language
No TPTP formula. May not be expressible in strict first order. Languages.kif 9046-9046 Western balochi language is an instance of balochi language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9708-9708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9707-9707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9706-9706


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