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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thursday
Thursday(Quinta-feira)

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 9293-9293
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 9291-9291 Quinta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9062-9062 successorClass Quinta-feira and Sexta-feira

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


No TPTP formula. May not be expressible in strict first order. Media.kif 530-530 AscensionThursday e' uma sub-classe de Quinta-feira
No TPTP formula. May not be expressible in strict first order. Media.kif 621-621 USThanksgivingDay e' uma sub-classe de Quinta-feira
No TPTP formula. May not be expressible in strict first order. Merge.kif 9061-9061 successorClass Quarta-feira and Quinta-feira
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 9308-9315
No TPTP formula. May not be expressible in strict first order. Merge.kif 9295-9302


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