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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParsiLanguage
ParsiLanguage(parsi language)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9124-9135
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9524-9524
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9523-9523
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9526-9526
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8640-8640
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9520-9520
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9521-9521
No TPTP formula. May not be expressible in strict first order. Languages.kif 9123-9123 Parsi language is an instance of central iranian language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44545-44545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44544-44544
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44543-44543


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