Tuesday - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tuesday

Tuesday(Tuesday)

Tues, Tuesday, Whit-Tuesday, Whitsun_Tuesday, 星期二, 火曜日

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2809-2809
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8563-8563
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6933-6933	"http://upload.wikimedia.org/wikipedia/commons/7/7a/ IB_299_4to_Tyr.jpg" is a URL depicting Tuesday
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8135-8135	"http://upload.wikimedia.org/wikipedia/commons/c/c6/ Sixday.jpg" is a URL depicting Tuesday
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9800-9800	"http://upload.wikimedia.org/wikipedia/commons/e/e7/ XML-CSS-example.png" is a URL depicting Tuesday
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8561-8561	Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8356-8356	successorClass Tuesday and Wednesday

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8355-8355	successorClass Monday and Tuesday
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1291-1291	"星期二" is the printable form of Tuesday in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1808-1808	"Tuesday" is the printable form of Tuesday in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8565-8572	If a time interval is an instance of Monday and another time interval is an instance of Tuesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8578-8585	If a time interval is an instance of Tuesday and another time interval is an instance of Wednesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners