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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Day

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 9171-9171
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 9169-9169 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9168-9168 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9167-9167 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 8527-8527 The values returned by day are subclasses of day
No TPTP formula. May not be expressible in strict first order. Media.kif 335-335 Christmas day is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9219-9219 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9177-9177 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9232-9232 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9245-9245 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9206-9206 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9180-9180 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9193-9193 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 8771-8771 The number 1 argument of afternoon of is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8871-8871 The number 1 argument of Evening fn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8755-8755 The number 1 argument of morning fn is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3819-3819 The number 2 argument of available balance is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3842-3842 The number 2 argument of available cash 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 24154-24154 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 24131-24131 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4103-4103 The number 2 argument of buying power amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2499-2499 The number 2 argument of call date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3483-3483 The number 3 argument of closing price is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 673-673 The number 2 argument of current account balance is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-615 The number 2 argument of current interest rate is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8482-8482 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4038-4038 The number 2 argument of date of statement is an instance of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24167-24167 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4112-4112 The number 2 argument of margin balance amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4130-4130 The number 2 argument of market value amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 632-632 The number 2 argument of maturity date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 868-868 The number 3 argument of net worth is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 780-780 The number 3 argument of overdraft is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 600-600 The number 1 argument of prime interest rate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4121-4121 The number 2 argument of short balance amount 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 8551-8551 The number 2 argument of hour is a subclass of day

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8777-8782
No TPTP formula. May not be expressible in strict first order. Merge.kif 8877-8882
No TPTP formula. May not be expressible in strict first order. Merge.kif 8761-8766
No TPTP formula. May not be expressible in strict first order. Merge.kif 8859-8866
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Geography.kif 4867-4885
No TPTP formula. May not be expressible in strict first order. Geography.kif 4936-4946
No TPTP formula. May not be expressible in strict first order. Merge.kif 9173-9175
No TPTP formula. May not be expressible in strict first order. Merge.kif 9410-9412

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3765-3775
No TPTP formula. May not be expressible in strict first order. Merge.kif 9400-9404
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2654-2674
No TPTP formula. May not be expressible in strict first order. Geography.kif 3564-3573
No TPTP formula. May not be expressible in strict first order. Geography.kif 3503-3512
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3702-3722
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3746-3766
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2295-2300
No TPTP formula. May not be expressible in strict first order. Merge.kif 8718-8723
No TPTP formula. May not be expressible in strict first order. Merge.kif 9406-9408
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 91-101
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 36-46


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