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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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