Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thursday
Thursday(Thursday)
Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, Thursday, 星期四, 木曜日

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12913-12913
No TPTP formula. May not be expressible in strict first order. Merge.kif 12911-12911
No TPTP formula. May not be expressible in strict first order. Merge.kif 12915-12915
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6923-6923 "http://upload.wikimedia.org/wikipedia/commons/2/23/ Thor.jpg" is a URL depicting Thursday
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8085-8085 "http://upload.wikimedia.org/wikipedia/commons/3/33/ Blake_Holy_Thursday_1794.jpg" is a URL depicting Thursday
No TPTP formula. May not be expressible in strict first order. Merge.kif 12909-12909 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12611-12611 successorClass Thursday and Friday

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 530-530 AscensionThursday is a subclass of Thursday
No TPTP formula. May not be expressible in strict first order. Media.kif 621-621 USThanksgivingDay is a subclass of Thursday
No TPTP formula. May not be expressible in strict first order. Merge.kif 12610-12610 successorClass Wednesday and Thursday
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1293-1293 "星期四" is the printable form of Thursday in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2592-2592 "Thursday" is the printable form of Thursday in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2593-2593 "木曜日" is the printable form of Thursday in japanese language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12935-12942
No TPTP formula. May not be expressible in strict first order. Merge.kif 12917-12924


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners