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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friday
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 星期五 是 日 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 9041-9041 successorClass 星期五 and 星期六

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9040-9040 successorClass 星期四 and 星期五
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