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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friday
Friday(Sexta-feira)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2812-2812
No TPTP formula. May not be expressible in strict first order. Merge.kif 9306-9306
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1553-1553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7010-7010
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6591-6591
No TPTP formula. May not be expressible in strict first order. Merge.kif 9304-9304 Sexta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 9063-9063 successorClass Sexta-feira and Sabado

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9062-9062 successorClass Quinta-feira and Sexta-feira
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1294-1294
No TPTP formula. May not be expressible in strict first order. english_format.kif 1805-1805
No TPTP formula. May not be expressible in strict first order. french_format.kif 972-972
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 507-507
No TPTP formula. May not be expressible in strict first order. terms-it.txt 511-511
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2656-2656
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 924-924
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 513-513
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 547-547
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 993-993
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 512-512

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9321-9328
No TPTP formula. May not be expressible in strict first order. Merge.kif 9308-9315


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