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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternFarsiLanguage

 Sigma KEE - WesternFarsiLanguage
WesternFarsiLanguage(western farsi language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9327-9357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8797-8797
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9821-9821
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9822-9822
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9823-9823
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9819-9819
No TPTP formula. May not be expressible in strict first order. Languages.kif 9326-9326 Western farsi language is an instance of persian language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62787-62787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62786-62786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62785-62785

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14767-14767 "fa" in ISO-639-1 denotes western farsi language


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