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 9271-9271
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 9269-9269 子類 Thursday and Day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9040-9040 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 9039-9039 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 9286-9293
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