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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wednesday

 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 9258-9258
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 9256-9256 星期三 是 日 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 9039-9039 successorClass 星期三 and 星期四

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9038-9038 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 9260-9267
No TPTP formula. May not be expressible in strict first order. Merge.kif 9273-9280


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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