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 8958-8958
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 8956-8956 Saturday is a subclass of day

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8702-8702 %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 8960-8967
No TPTP formula. May not be expressible in strict first order. Merge.kif 8973-8980

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


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


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