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 8807-8807
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 6974-6974
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.	pictureList.kif 8260-8260
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8805-8805	Week is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8430	The values returned by WeekFn 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 1820-1820

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8772-8779	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 8720-8727	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 8785-8792	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 8794-8803	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 8759-8766	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 8733-8740	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 8746-8753	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 11568-11577	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 8809-8811	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 8942-8944	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