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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Thursday

Sigma KEE - Thursday
Thursday

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2811-2811
No TPTP formula. May not be expressible in strict first order. Merge.kif 9307-9307
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1552-1552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6922-6922
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8083-8083
No TPTP formula. May not be expressible in strict first order. Merge.kif 9305-9305 子類 Thursday and Day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9076-9076 successorClass Thursday and Friday

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


No TPTP formula. May not be expressible in strict first order. Media.kif 530-530 子類 AscensionThursday and Thursday
No TPTP formula. May not be expressible in strict first order. Media.kif 621-621 子類 USThanksgivingDay and Thursday
No TPTP formula. May not be expressible in strict first order. Merge.kif 9075-9075 successorClass Wednesday and Thursday
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1293-1293
No TPTP formula. May not be expressible in strict first order. english_format.kif 1803-1803
No TPTP formula. May not be expressible in strict first order. french_format.kif 971-971
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 506-506
No TPTP formula. May not be expressible in strict first order. terms-it.txt 510-510
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2655-2655
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 923-923
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 512-512
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 546-546
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 992-992
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 511-511

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9322-9329
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