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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friday
Friday(Friday)
American_Indian_Day, Fri, Friday, Good_Friday

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 9182-9182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7011-7011
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6592-6592
No TPTP formula. May not be expressible in strict first order. Merge.kif 9180-9180 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8939-8939 %2 is the successorClass of %2.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8938-8938 %2 is the successorClass of %2.
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9197-9204
No TPTP formula. May not be expressible in strict first order. Merge.kif 9184-9191


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