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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friday
Friday(Friday)
American_Indian_Day, Fri, Friday, Good_Friday, 星期五, 金曜日

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12930-12930
No TPTP formula. May not be expressible in strict first order. Merge.kif 12928-12928
No TPTP formula. May not be expressible in strict first order. Merge.kif 12932-12932
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7011-7011 "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg" is a URL depicting Friday
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6592-6592 "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg" is a URL depicting Friday
No TPTP formula. May not be expressible in strict first order. Merge.kif 12926-12926 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12612-12612 successorClass Friday and Saturday

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12611-12611 successorClass Thursday and Friday
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1294-1294 "星期五" is the printable form of Friday in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 2595-2595 "Friday" is the printable form of Friday in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2596-2596 "金曜日" is the printable form of Friday in japanese language

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


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


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