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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Evening

Sigma KEE - Evening
Evening(evening)eve, even, evening, eventide, guest_night

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8948-8949
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1518-1519
No TPTP formula. May not be expressible in strict first order. Merge.kif 8946-8946 Evening is a subclass of night time

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8828-8828 Afternoon is disjoint from evening
No TPTP formula. May not be expressible in strict first order. Merge.kif 8829-8829 Morning is disjoint from evening
No TPTP formula. May not be expressible in strict first order. Merge.kif 8971-8971 The range of Evening fn is an instance of evening
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64837-64837

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8976-8981
No TPTP formula. May not be expressible in strict first order. Merge.kif 8958-8965
No TPTP formula. May not be expressible in strict first order. Merge.kif 8951-8956


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