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 9199-9199
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 9197-9197 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9196-9196 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9195-9195 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 8555-8555 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 9247-9247 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9205-9205 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9260-9260 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9273-9273 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9234-9234 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9208-9208 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9221-9221 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 8799-8799 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 8899-8899 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 8783-8783 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 3821-3821 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 3844-3844 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 24155-24155 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 24132-24132 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4105-4105 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 3485-3485 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 8510-8510 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4040-4040 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 24168-24168 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4114-4114 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 4132-4132 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 4123-4123 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 8579-8579 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 8805-8810
No TPTP formula. May not be expressible in strict first order. Merge.kif 8905-8910
No TPTP formula. May not be expressible in strict first order. Merge.kif 8789-8794
No TPTP formula. May not be expressible in strict first order. Merge.kif 8887-8894
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 9201-9203
No TPTP formula. May not be expressible in strict first order. Merge.kif 9438-9440

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 9428-9432
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 3704-3724
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3748-3768
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 8746-8751
No TPTP formula. May not be expressible in strict first order. Merge.kif 9434-9436
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