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 9347-9347
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 5947-5947
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6342-6342
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. Merge.kif 9345-9345 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9344-9344 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9343-9343 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 8703-8703 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 9404-9404 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9353-9353 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9417-9417 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9430-9430 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9391-9391 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9365-9365 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9378-9378 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1289-1289 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. english_format.kif 1795-1795 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. french_format.kif 967-967 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 502-502 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. terms-it.txt 506-506 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2651-2651 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 919-919 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 508-508 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 542-542 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. terms-de.txt 801-801 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 988-988 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 507-507 Wednesday is a subclass of day

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8947-8947 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 9047-9047 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 8931-8931 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 3826-3826 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 3849-3849 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 180-180 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 25915-25915 The number 2 argument of birthdate 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 buying power amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2502-2502 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 3490-3490 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 675-675 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 617-617 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 8658-8658 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4045-4045 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 25943-25943 The number 2 argument of deathdate 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 margin balance amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4137-4137 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 634-634 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 870-870 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 782-782 The number 3 argument of overdraft is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 602-602 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 4128-4128 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 25860-25860 The number 3 argument of weddingdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8727-8727 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 25828-25828 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 8953-8958
No TPTP formula. May not be expressible in strict first order. Merge.kif 9053-9058
No TPTP formula. May not be expressible in strict first order. Merge.kif 8937-8942
No TPTP formula. May not be expressible in strict first order. Merge.kif 9035-9042
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 5212-5230
No TPTP formula. May not be expressible in strict first order. Geography.kif 5281-5291
No TPTP formula. May not be expressible in strict first order. Merge.kif 9349-9351
No TPTP formula. May not be expressible in strict first order. Merge.kif 9609-9611

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25883-25893
No TPTP formula. May not be expressible in strict first order. Economy.kif 4091-4101
No TPTP formula. May not be expressible in strict first order. Merge.kif 9599-9603
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2665-2685
No TPTP formula. May not be expressible in strict first order. Geography.kif 3789-3798
No TPTP formula. May not be expressible in strict first order. Geography.kif 3728-3737
No TPTP formula. May not be expressible in strict first order. Biography.kif 256-270
No TPTP formula. May not be expressible in strict first order. Biography.kif 287-303
No TPTP formula. May not be expressible in strict first order. Biography.kif 315-325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25842-25853
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3709-3729
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3753-3773
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 8894-8899
No TPTP formula. May not be expressible in strict first order. Merge.kif 9605-9607
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 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