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 8676-8676
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 8674-8674 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8673-8673 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8672-8672 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 8050-8050 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 8724-8724 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8682-8682 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8737-8737 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8750-8750 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8711-8711 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8685-8685 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8698-8698 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 1804-1804

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8288-8288 The number 1 argument of AfternoonFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8385-8385 The number 1 argument of EveningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8275-8275 The number 1 argument of MorningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3655-3655 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 3675-3675 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 22011-22011 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 21988-21988 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3935-3935 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 2407-2407 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 3369-3369 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 632-632 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 574-574 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 8005-8005 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3870-3870 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 22023-22023 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3944-3944 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 3962-3962 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 591-591 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 812-812 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 729-729 The number 3 argument of overdraft is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 559-559 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 3953-3953 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 8074-8074 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. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3598
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3607-3615
No TPTP formula. May not be expressible in strict first order. Merge.kif 8373-8380
No TPTP formula. May not be expressible in strict first order. Geography.kif 4644-4657
No TPTP formula. May not be expressible in strict first order. Geography.kif 4708-4715
No TPTP formula. May not be expressible in strict first order. Merge.kif 8678-8680
No TPTP formula. May not be expressible in strict first order. Merge.kif 8915-8917

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3755-3764
No TPTP formula. May not be expressible in strict first order. Merge.kif 8905-8909
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2600-2620
No TPTP formula. May not be expressible in strict first order. Geography.kif 3469-3478
No TPTP formula. May not be expressible in strict first order. Geography.kif 3429-3438
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2273-2278
No TPTP formula. May not be expressible in strict first order. Merge.kif 8240-8245
No TPTP formula. May not be expressible in strict first order. Merge.kif 8911-8913
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