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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iftar

Sigma KEE - Iftar
Iftar(开斋)

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 86-87
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6623-6623
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7105-7105
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7106-7106
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 89-89 开斋进食subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29205-29205
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29204-29204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29203-29203

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 91-101


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