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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Day
Day(day)
more pictures...
14_July, 15_August_1945, 24-hour_interval, 6_June_1944, 8_May_1945, 9-11, 9/11, Admission_Day, All_Fools'_day, Allhallows_Eve, April_14, April_Fools', April_Fools'_day, Arbor_Day, Armistice_Day, Assumption, Assumption_of_Mary, August_1, August_15, August_6, Bastille_Day, Boxing_Day, Candlemas, Candlemas_Day, Christmas_Eve, Cinco_de_Mayo, Circumcision, Citizenship_Day, Commonwealth_Day, D-day, Davis'_Birthday, Day_of_Judgement, Day_of_Judgment, Dec_24, Dominion_Day, Doomsday, Dormition, Empire_day, Fast_of_Ab, Fast_of_Av, Feast_of_Dormition, Feast_of_the_Circumcision, Feb_2, February_2, February_29, Flag_Day, Groundhog_Day, Guy_Fawkes_Day, Hallowe'en, Halloween...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2807-2807
No TPTP formula. May not be expressible in strict first order. Merge.kif 9132-9132
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5949-5949
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6344-6344
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6345-6345
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6346-6346
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6347-6347
No TPTP formula. May not be expressible in strict first order. Merge.kif 9130-9130 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9129-9129 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9128-9128 Day is a subclass of time interval

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8492-8492 The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order. Media.kif 335-335 ChristmasDay is a subclass of day
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 9138-9138 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9193-9193 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9206-9206 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9167-9167 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9141-9141 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9154-9154 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order. english_format.kif 1795-1795

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8736-8736 The number 1 argument of AfternoonFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8836-8836 The number 1 argument of EveningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8720-8720 The number 1 argument of MorningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Biography.kif 65-65 The number 2 argument of baptismdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23625-23625 The number 2 argument of birthdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23602-23602 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8447-8447 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23638-23638 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Biography.kif 49-49 The number 3 argument of weddingdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8516-8516 The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order. Weather.kif 851-851 The number 2 argument of daylight hours interval is a subclass of day
No TPTP formula. May not be expressible in strict first order. Weather.kif 861-861 The number 2 argument of daylight hours total is a subclass of day

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Merge.kif 8742-8747
No TPTP formula. May not be expressible in strict first order. Merge.kif 8842-8847
No TPTP formula. May not be expressible in strict first order. Merge.kif 8726-8731
No TPTP formula. May not be expressible in strict first order. Merge.kif 8824-8831
No TPTP formula. May not be expressible in strict first order. Geography.kif 4856-4874
No TPTP formula. May not be expressible in strict first order. Geography.kif 4925-4935
No TPTP formula. May not be expressible in strict first order. Merge.kif 9134-9136
No TPTP formula. May not be expressible in strict first order. Merge.kif 9371-9373

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3762-3771
No TPTP formula. May not be expressible in strict first order. Merge.kif 9361-9365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2627-2647
No TPTP formula. May not be expressible in strict first order. Geography.kif 3553-3562
No TPTP formula. May not be expressible in strict first order. Geography.kif 3492-3501
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2263-2268
No TPTP formula. May not be expressible in strict first order. Merge.kif 8683-8688
No TPTP formula. May not be expressible in strict first order. Merge.kif 9367-9369
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 82-92
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 36-46


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