Week - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Week

Week(week)

Holy_Week, Passion_Week, Whitsun, Whitsuntide, Whitweek, calendar_week, hebdomad, rag, rag_week, week

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2815-2815
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9318-9318
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1556-1556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8257-8257
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6974-6974
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8258-8258
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8259-8259
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9316-9316	Week is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14680-14680	The range of week after fn is an instance of week
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14687-14687	The range of week before fn is an instance of week
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8936-8936	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1297-1297
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1811-1811
No TPTP formula. May not be expressible in strict first order.	french_format.kif 975-975
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 510-510
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 512-512
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2659-2659
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 927-927
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 516-516
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 550-550
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 996-996
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 515-515

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9283-9290	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 9231-9238	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 9296-9303	If a time interval is an instance of Saturday and another time interval is an instance of Sunday 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 9305-9314	If a time interval is an instance of Sunday and another time interval is an instance of Monday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9270-9277	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 9244-9251	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9257-9264	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14659-14668	If a class is a subclass of newspaper and a time position is an instance of week, then there exist a process and an entity such that the process is an instance of publication and the time of existence of the process is a part of the time position and the entity is a result of the process and the entity is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9320-9322	If a time interval is an instance of week, then duration of the time interval is 1 week duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9453-9455	If a time interval is an instance of week, then the number of instances in decomposition of the time interval into days is equal to 7

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