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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wednesday

 Sigma KEE - Wednesday
Wednesday(Mercredi)

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 9294-9294
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 9292-9292 Mercredi est une sous-classe de jour
No TPTP formula. May not be expressible in strict first order. Merge.kif 9075-9075 successorClass Mercredi and Jeudi

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9074-9074 successorClass Mardi and Mercredi
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 9296-9303
No TPTP formula. May not be expressible in strict first order. Merge.kif 9309-9316


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