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 9234-9234
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1548-1548
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6343-6343
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. Merge.kif 9232-9232 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9231-9231 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9230-9230 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 8590-8590 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 9282-9282 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9240-9240 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9295-9295 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9308-9308 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9269-9269 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9243-9243 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9256-9256 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 967-967
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 502-502
No TPTP formula. May not be expressible in strict first order. terms-it.txt 506-506
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2651-2651
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 919-919
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 508-508
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 542-542
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 988-988
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 507-507

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8834-8834 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 8934-8934 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 8818-8818 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 3808-3808 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 3831-3831 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 175-175 The number 2 argument of baptizedmdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24268-24268 The number 2 argument of birthdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4092-4092 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 2485-2485 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 3472-3472 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 8545-8545 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4027-4027 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 24281-24281 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4101-4101 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 4119-4119 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 4110-4110 The number 2 argument of short balance amount is an instance of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24213-24213 The number 3 argument of weddingdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8614-8614 The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24182-24182 The number 2 argument of anniversary 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 8840-8845
No TPTP formula. May not be expressible in strict first order. Merge.kif 8940-8945
No TPTP formula. May not be expressible in strict first order. Merge.kif 8824-8829
No TPTP formula. May not be expressible in strict first order. Merge.kif 8922-8929
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 4958-4976
No TPTP formula. May not be expressible in strict first order. Geography.kif 5027-5037
No TPTP formula. May not be expressible in strict first order. Merge.kif 9236-9238
No TPTP formula. May not be expressible in strict first order. Merge.kif 9473-9475

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24236-24246
No TPTP formula. May not be expressible in strict first order. Economy.kif 3754-3764
No TPTP formula. May not be expressible in strict first order. Merge.kif 9463-9467
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 3631-3640
No TPTP formula. May not be expressible in strict first order. Geography.kif 3570-3579
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Biography.kif 307-317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24195-24206
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3691-3711
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3735-3755
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 8781-8786
No TPTP formula. May not be expressible in strict first order. Merge.kif 9469-9471
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