Friday - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Friday

Friday(Friday)

American_Indian_Day, Fri, Friday, Good_Friday

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2812-2812
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9406-9406
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1553-1553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7009-7009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6590-6590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9404-9404	Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9154-9154	Saturday is the successor class of Friday.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9153-9153	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1294-1294	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1805-1805	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	french_format.kif 972-972	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 507-507	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 511-511	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2656-2656	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 924-924	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 513-513	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 547-547	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 806-806	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 993-993	Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 512-512	Friday is the successor class of Thursday.

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9421-9428	If a time interval is an instance of Friday and another time interval is an instance of Saturday 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 9408-9415	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

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