Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EndFn
EndFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8172-8173
No TPTP formula. May not be expressible in strict first order. Merge.kif 8170-8171
No TPTP formula. May not be expressible in strict first order. Merge.kif 8168-8168 The number 1 argument of end is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8165-8165 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8167-8167 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8166-8166 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8169-8169 The range of end is an instance of time point

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 451-451
No TPTP formula. May not be expressible in strict first order. english_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. french_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. relations-it.txt 92-92
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 214-214
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 194-194
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 268-268
No TPTP formula. May not be expressible in strict first order. relations-de.txt 589-589
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 132-132
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 199-199
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 452-452 "结束函数" is the printable form of end in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4095-4095 "end" is the printable form of end in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 644-644 "«نِهَايَة»" is the printable form of end in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 200-200 "tungkulin ng dulo" is the printable form of end in tg

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8407-8415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20411-20416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27323-27332
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3955-3980
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1032-1044
No TPTP formula. May not be expressible in strict first order. Merge.kif 11461-11468
No TPTP formula. May not be expressible in strict first order. Economy.kif 2459-2469
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1704-1726
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2590-2606
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. Merge.kif 8184-8189
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 779-787
No TPTP formula. May not be expressible in strict first order. Merge.kif 8175-8182
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1266-1280
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1250-1264

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12239-12246 A process is an instance of combining and an object is a resource for the process and another object is a result of the process if and only if the object is not a part of the other object holds during the beginning of the time of existence of the process and the object is a part of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 8337-8341 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8430-8432 A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8229-8237 A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 12590-12597 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12083-12090 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 8401-8405 A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8205-8213 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
No TPTP formula. May not be expressible in strict first order. Media.kif 1938-1943
No TPTP formula. May not be expressible in strict first order. Media.kif 1945-1950
No TPTP formula. May not be expressible in strict first order. Merge.kif 15495-15512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18702-18713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14467-14477
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1848-1857
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1902-1913
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1917-1924
No TPTP formula. May not be expressible in strict first order. Merge.kif 12434-12447
No TPTP formula. May not be expressible in strict first order. Merge.kif 12391-12404
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1524-1540
No TPTP formula. May not be expressible in strict first order. Merge.kif 12163-12170
No TPTP formula. May not be expressible in strict first order. LinkedInDegrees.kif 37-53
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13728-13738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14685-14696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14726-14738

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7593-7593 The end of common era is equal to positive infinity


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