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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - commemoratesDate
commemoratesDate

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


No TPTP formula. May not be expressible in strict first order. Government.kif 600-604
No TPTP formula. May not be expressible in strict first order. Government.kif 597-597 The number 1 argument of commemorates date is an instance of holiday
No TPTP formula. May not be expressible in strict first order. Government.kif 598-598 The number 2 argument of commemorates date is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Government.kif 596-596 commemorates date is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 131-131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3048-3048 "commemorates date" is the printable form of commemorates date in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 606-611
No TPTP formula. May not be expressible in strict first order. Government.kif 613-619


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners