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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sunrise
Sunrise(日出)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8863-8864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2011-2011
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2387-2387
No TPTP formula. May not be expressible in strict first order. Merge.kif 8862-8862 日出时距subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56101-56101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56100-56100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56099-56099

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8879-8886
No TPTP formula. May not be expressible in strict first order. Merge.kif 8901-8908
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 36-46


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