Thursday - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Thursday

Thursday(Thursday)

Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, Thursday

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2811-2811
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9271-9271
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1552-1552
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6922-6922
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8083-8083
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9269-9269	Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9040-9040	Friday is the successor class of Thursday.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 530-530	Ascension thursday is a subclass of Thursday
No TPTP formula. May not be expressible in strict first order.	Media.kif 621-621	US thanksgiving day is a subclass of Thursday
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9039-9039	Thursday is the successor class of Wednesday.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1293-1293
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1803-1803
No TPTP formula. May not be expressible in strict first order.	french_format.kif 971-971
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 506-506
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 510-510
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2655-2655
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 923-923
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 512-512
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 546-546
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 992-992
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 511-511

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9286-9293	If a time interval is an instance of Thursday and another time interval is an instance of Friday 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 9273-9280	If a time interval is an instance of Wednesday and another time interval is an instance of Thursday 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