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. chinese_format.kif 2812-2812
No TPTP formula. May not be expressible in strict first order. Merge.kif 9284-9284
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1553-1553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7010-7010
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6591-6591
No TPTP formula. May not be expressible in strict first order. Merge.kif 9282-9282 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9041-9041 Saturday is the successor class of Friday.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9040-9040 Friday is the successor class of Thursday.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1294-1294
No TPTP formula. May not be expressible in strict first order. english_format.kif 1805-1805
No TPTP formula. May not be expressible in strict first order. french_format.kif 972-972
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 507-507
No TPTP formula. May not be expressible in strict first order. terms-it.txt 511-511
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2656-2656
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 924-924
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 513-513
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 547-547
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 993-993
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 512-512

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9299-9306
No TPTP formula. May not be expressible in strict first order. Merge.kif 9286-9293


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 3.0 is open source software produced by Articulate Software and its partners