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 8707-8707
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 8705-8705 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8704-8704 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8703-8703 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 8079-8079 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 8755-8755 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8713-8713 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8768-8768 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8781-8781 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8742-8742 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8716-8716 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8729-8729 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 8318-8318 The number 1 argument of AfternoonFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8415-8415 The number 1 argument of EveningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8305-8305 The number 1 argument of MorningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3697-3697 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 3720-3720 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 22017-22017 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 21994-21994 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3983-3983 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 2426-2426 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 3411-3411 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 633-633 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 575-575 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 8034-8034 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3918-3918 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 22029-22029 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3992-3992 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 4010-4010 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 592-592 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 822-822 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 739-739 The number 3 argument of overdraft is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 560-560 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 4001-4001 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 8103-8103 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 3632-3640
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3649-3657
No TPTP formula. May not be expressible in strict first order. Merge.kif 8403-8410
No TPTP formula. May not be expressible in strict first order. Geography.kif 4744-4760
No TPTP formula. May not be expressible in strict first order. Geography.kif 4811-4821
No TPTP formula. May not be expressible in strict first order. Merge.kif 8709-8711
No TPTP formula. May not be expressible in strict first order. Merge.kif 8946-8948

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 8936-8940
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2614-2634
No TPTP formula. May not be expressible in strict first order. Geography.kif 3512-3521
No TPTP formula. May not be expressible in strict first order. Geography.kif 3451-3460
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2277-2282
No TPTP formula. May not be expressible in strict first order. Merge.kif 8270-8275
No TPTP formula. May not be expressible in strict first order. Merge.kif 8942-8944
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