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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Saturday

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 9195-9195
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 9193-9193 Saturday is a subclass of day

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8939-8939 %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 9197-9204
No TPTP formula. May not be expressible in strict first order. Merge.kif 9210-9217

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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