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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Saturday
Saturday(Saturday)
Armed_Forces_Day, Holy_Saturday, Sabbatum, Sat, Saturday

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2813-2813
No TPTP formula. May not be expressible in strict first order. Merge.kif 9206-9206
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6839-6839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7812-7812
No TPTP formula. May not be expressible in strict first order. Merge.kif 9204-9204 Saturday is a subclass of day

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8950-8950 %2 is the successorClass of %2.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1295-1295
No TPTP formula. May not be expressible in strict first order. english_format.kif 1807-1807

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9208-9215
No TPTP formula. May not be expressible in strict first order. Merge.kif 9221-9228

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18556-18564


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