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 9367-9367
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1550-1550
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6931-6931
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8132-8132
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9781-9781
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9365-9365	Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9151-9151	Wednesday is the successor class of Tuesday.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9150-9150	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1291-1291	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1799-1799	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	french_format.kif 969-969	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 504-504	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 508-508	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2653-2653	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 921-921	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 510-510	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 544-544	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 803-803	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 990-990	Tuesday is the successor class of Monday.
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 509-509	Tuesday is the successor class of Monday.

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9369-9376	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 9382-9389	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 3.0 is open source software produced by Articulate Software and its partners