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. Merge.kif 12860-12860
No TPTP formula. May not be expressible in strict first order. Merge.kif 12858-12858
No TPTP formula. May not be expressible in strict first order. Merge.kif 12862-12862
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 12856-12856 Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 12855-12855 Day is internally related to day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12854-12854 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 12154-12154 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 12926-12926 Friday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12868-12868 Monday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12944-12944 Saturday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12961-12961 Sunday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12909-12909 Thursday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12875-12875 Tuesday is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12892-12892 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 2580-2580 "day" is the printable form of day in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 2581-2581 "日" is the printable form of day in japanese language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12422-12422 The number 1 argument of AfternoonFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12480-12480 The number 1 argument of EveningFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 12404-12404 The number 1 argument of MorningFn is an instance of day
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 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 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 12075-12075 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 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 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 12189-12189 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 12468-12475
No TPTP formula. May not be expressible in strict first order. Geography.kif 4630-4643
No TPTP formula. May not be expressible in strict first order. Geography.kif 4694-4701
No TPTP formula. May not be expressible in strict first order. Merge.kif 12864-12866
No TPTP formula. May not be expressible in strict first order. Merge.kif 13157-13159

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 13147-13151
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. ComputingBrands.kif 2116-2121
No TPTP formula. May not be expressible in strict first order. Merge.kif 12394-12399
No TPTP formula. May not be expressible in strict first order. Merge.kif 13153-13155
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