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 8552-8552
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5949-5949 "http://upload.wikimedia.org/wikipedia/commons/1/14/ Harrison%27s_Chronometer_H5.JPG" is a URL depicting day
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6344-6344 "http://upload.wikimedia.org/wikipedia/commons/7/70/ Wooden_hourglass_3.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6345-6345 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Dagr_by_Arbo.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6346-6346 "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Water%2CRabbit%2CDeer.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6347-6347 "http://upload.wikimedia.org/wikipedia/commons/f/f6/ A_day_panorama_-_digital_art.jpg" is a URL depicting day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8550-8550 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 8549-8549 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8548-8548 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 7926-7926 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 8600-8600 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8558-8558 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8613-8613 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8626-8626 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8587-8587 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8561-8561 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8574-8574 Wednesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1289-1289 "日" is the printable form of day in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1804-1804 "day" is the printable form of day in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8164-8164 The number 1 argument of AfternoonFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8261-8261 The number 1 argument of EveningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8151-8151 The number 1 argument of MorningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3654-3654 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 3674-3674 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 21974-21974 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 21951-21951 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3934-3934 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 2406-2406 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 3368-3368 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 7881-7881 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3869-3869 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 21986-21986 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3943-3943 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 3961-3961 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 3952-3952 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 7950-7950 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 3589-3597
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3606-3614
No TPTP formula. May not be expressible in strict first order. Merge.kif 8249-8256
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 8554-8556
No TPTP formula. May not be expressible in strict first order. Merge.kif 8791-8793

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 8781-8785
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 2275-2280
No TPTP formula. May not be expressible in strict first order. Merge.kif 8116-8121
No TPTP formula. May not be expressible in strict first order. Merge.kif 8787-8789
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners