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 9456-9456
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 8255-8255
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6972-6972
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8256-8256
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.	Merge.kif 9454-9454	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 16183-16183	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 16190-16190	The range of week before fn is an instance of week
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9065-9065	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	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1811-1811	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	french_format.kif 975-975	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 510-510	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 514-514	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2659-2659	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 927-927	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 516-516	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 550-550	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 809-809	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 996-996	The values returned by week fn are subclasses of week
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 515-515	The values returned by week fn are subclasses of week

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 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 9434-9441	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 doesn't meet the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9443-9452	If a time interval is an instance of Saturday and another time interval is an instance of Sunday 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 9356-9363	If a time interval is an instance of Sunday and another time interval is an instance of Monday 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
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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9395-9402	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.	Merge.kif 9469-9474	If a time interval is an instance of Saturday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval finishes the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9462-9467	If a time interval is an instance of Sunday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval starts the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16162-16171	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 9458-9460	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 9605-9607	If a time interval is an instance of week, then equal the number of instances in decomposition of the time interval into days and 7

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 1514-1527

If equal a class and week before menstruation a woman,
then equal the womanKBC and the class described by a symbolic string

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