Advent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Advent

Advent(advent)

appearance as argument number 1

(documentation Advent EnglishLanguage "An instance of Advent (LatinLanguage adventus = coming) is a TimeInterval that begins with an AdventSunday and includes the four Sundays preceding an instance of ChristmasDay. During this period, observant members of Christianity ritually anticipate the recurring celebration of the birth of Jesus of Nazareth. Note that Advent is observed only in Western Christianity, which includes RomanCatholicism, Protestantism, and Anglicanism. The analog of Advent in Eastern Christianity, which includes EasternOrthodoxChristianity, is the Nativity Fast, which differs from Advent in length and significance.")	Media.kif 298-308
(subclass Advent ChristianHoliday)	Media.kif 296-296	Advent is a subclass of Christian holiday
(subclass Advent MoveableHoliday)	Media.kif 297-297	Advent is a subclass of moveable holiday

appearance as argument number 2

(termFormat EnglishLanguage Advent "advent")

domainEnglishFormat.kif 64456-64456

antecedent

(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR))	Media.kif 387-394	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the other time interval takes place during the third time interval
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR))	Media.kif 396-403	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the other time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the time interval takes place during the third time interval
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (meetsTemporally ?T1 ?T2)) (exists (?YEAR) (and (instance ?YEAR Year) (during ?T1 ?YEAR) (during ?T2 ?YEAR))))	Media.kif 376-385	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the time interval meets the other time interval, then there exists a third time interval such that the third time interval is an instance of year and the time interval takes place during the third time interval and the other time interval takes place during the third time interval
(=> (instance ?T1 Advent) (exists (?T2) (and (instance ?T2 AdventSunday) (starts ?T2 ?T1))))	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 advent sunday and the other time interval starts the time interval
(=> (instance ?T1 Advent) (exists (?T2) (and (instance ?T2 ChristmasDay) (meetsTemporally ?T1 ?T2))))	Media.kif 369-374	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 Christmas day and the time interval meets the other time interval

consequent

(=> (instance ?T1 AdventSunday) (exists (?T2) (and (instance ?T2 Advent) (starts ?T1 ?T2))))	Media.kif 327-332	If a time interval is an instance of advent sunday, 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
(=> (instance ?T1 ChristmasDay) (exists (?T2) (and (instance ?T2 Advent) (meetsTemporally ?T2 ?T1))))	Media.kif 362-367	If a time interval is an instance of Christmas day, then there exists another time interval such that the other time interval is an instance of advent and the other time interval meets the time interval

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