TreeView Knowledge Base Browser - AdventSunday

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AdventSunday

AdventSunday

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 313-315
No TPTP formula. May not be expressible in strict first order.	Media.kif 310-310	AdventSunday is a subclass of ChristianHoliday
No TPTP formula. May not be expressible in strict first order.	Media.kif 312-312	AdventSunday is a subclass of moveable holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 311-311	AdventSunday is a subclass of Sunday

antecedent

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

Media.kif 327-332

If a time interval is an instance of AdventSunday,
then there exists another time interval such that the other time interval is an instance of Advent and the time interval starts the other time interval

consequent

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

Media.kif 317-322

If a time interval is an instance of Advent,
then there exists another time interval such that the other time interval is an instance of AdventSunday and the other time interval starts the time interval

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