TreeView Knowledge Base Browser - Wednesday

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Wednesday

Wednesday(Wednesday)

Midweek, Wed, Wednesday

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2810-2810
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9280-9280
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1551-1551
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 8255-8255
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9278-9278	Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9061-9061	Thursday is the successor class of Wednesday.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9060-9060	Wednesday is the successor class of Tuesday.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1801-1801
No TPTP formula. May not be expressible in strict first order.	french_format.kif 970-970
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 505-505
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 509-509
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2654-2654
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 922-922
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 511-511
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 545-545
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 991-991
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 510-510

antecedent

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

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