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 9258-9258
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 9256-9256	Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9039-9039	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 9038-9038	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 9260-9267	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 9273-9280	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