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, Dia, 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, Giorno, Groundhog_Day, Guy_Fawkes_Day...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9126-9126
No TPTP formula. May not be expressible in strict first order. Merge.kif 9125-9125
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 9124-9124 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 9123-9123 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9122-9122 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 8658-8658 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 9175-9175 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9132-9132 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9188-9188 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9201-9201 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9162-9162 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9136-9136 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 9149-9149 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 976-976 "day" is the printable form of day in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 967-967 "jour" is the printable form of day in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 502-502 "divasa" is the printable form of day in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 504-504 "Giorno" is the printable form of day in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 919-919 "Dia" is the printable form of day in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 508-508 "adlaw" is the printable form of day in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 542-542 "day" is the printable form of day in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 507-507 "araw" is the printable form of day in tg

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3648-3648 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 3668-3668 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 21581-21581 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 21558-21558 The number 2 argument of birthday is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3929-3929 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 2408-2408 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 3362-3362 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 8603-8603 The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3863-3863 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 21593-21593 The number 2 argument of deathdate is an instance of day
No TPTP formula. May not be expressible in strict first order. Society.kif 210-210 The number 2 argument of foundingdate is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3938-3938 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 3956-3956 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 813-813 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 730-730 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 3947-3947 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 8829-8829 The number 1 argument of AfternoonFn is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8871-8871 The number 1 argument of EveningFn is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8685-8685 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 3583-3591
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3600-3608
No TPTP formula. May not be expressible in strict first order. Merge.kif 8859-8866
No TPTP formula. May not be expressible in strict first order. Geography.kif 4631-4644
No TPTP formula. May not be expressible in strict first order. Geography.kif 4695-4702
No TPTP formula. May not be expressible in strict first order. Merge.kif 9128-9130
No TPTP formula. May not be expressible in strict first order. Merge.kif 9370-9372

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 9360-9364
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615
No TPTP formula. May not be expressible in strict first order. Geography.kif 3456-3465
No TPTP formula. May not be expressible in strict first order. Geography.kif 3416-3425
No TPTP formula. May not be expressible in strict first order. Merge.kif 8807-8812
No TPTP formula. May not be expressible in strict first order. Merge.kif 9366-9368
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