TreeView Knowledge Base Browser - Week

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Week

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 9356-9356
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 8256-8256
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6973-6973
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 8258-8258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9354-9354	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 14809-14809	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 14816-14816	The range of week before fn is an instance of week
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8974-8974	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 514-514
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 9321-9328	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 9269-9276	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 9334-9341	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 9343-9352	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 9308-9315	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 9282-9289	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 9295-9302	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 14788-14797	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 9358-9360	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 9491-9493	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

consequent

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

Medicine.kif 1521-1534

If an entity is equal to WeekBeforeMenstruationFn another entity,
then the other entityKBC is equal to the class described by a symbolic string

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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