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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Sunday
Sunday(Sunday)
Dominicus, Father's_Day, Lord's_Day, Low_Sunday, Passion_Sunday, Quadragesima, Quadrigesima_Sunday, Quinquagesima, Quinquagesima_Sunday, Septuagesima, Septuagesima_Sunday, Sun, Sunday, Trinity_Sunday, dominical

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2814-2814
No TPTP formula. May not be expressible in strict first order. Merge.kif 9432-9432
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1555-1555
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8011-8011
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8012-8012
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6905-6905
No TPTP formula. May not be expressible in strict first order. Merge.kif 9430-9430 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9149-9149 Monday is the successor class of Sunday.

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


No TPTP formula. May not be expressible in strict first order. Media.kif 311-311 Advent sunday is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. Media.kif 485-485 Easter sunday is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. Media.kif 460-460 Palm sunday is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. Media.kif 551-551 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1296-1296 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. english_format.kif 1809-1809 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. french_format.kif 974-974 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 509-509 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. terms-it.txt 513-513 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2658-2658 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 926-926 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 515-515 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 549-549 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. terms-de.txt 808-808 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 995-995 Pentecost is a subclass of Sunday
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 514-514 Pentecost is a subclass of Sunday

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9434-9441
No TPTP formula. May not be expressible in strict first order. Merge.kif 9443-9452
No TPTP formula. May not be expressible in strict first order. Merge.kif 9356-9363
No TPTP formula. May not be expressible in strict first order. Merge.kif 9462-9467

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


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


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