TreeView Knowledge Base Browser - Pentecost

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Pentecost

Pentecost(Pentecost)

Pentecost, Whitsunday

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 552-555
No TPTP formula. May not be expressible in strict first order.	Media.kif 549-549	Pentecost is a subclass of Christian holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 550-550	Pentecost is a subclass of moveable holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 551-551	Pentecost is a subclass of Sunday

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65313-65313

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 559-568

If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval,
then duration of the fourth time interval is 50 day duration(s)

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