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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wednesday
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 9280-9280
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 9278-9278 星期三 是 日 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 9061-9061 successorClass 星期三 and 星期四

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9060-9060 successorClass 星期二 and 星期三
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 9282-9289
No TPTP formula. May not be expressible in strict first order. Merge.kif 9295-9302


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