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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Suhur

 Sigma KEE - Suhur
Suhur(封斋饭)

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 33-34
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 35-35 封斋饭 是 进食 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55999-55999
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55998-55998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55997-55997

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 36-46

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84


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