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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WhenFn
WhenFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8525-8527
No TPTP formula. May not be expressible in strict first order. Merge.kif 8521-8524
No TPTP formula. May not be expressible in strict first order. Merge.kif 8519-8519 The number 1 argument of when is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 8516-8516 When is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8518-8518 When is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8517-8517 When is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8520-8520 The range of when is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 455-455
No TPTP formula. May not be expressible in strict first order. english_format.kif 275-275
No TPTP formula. May not be expressible in strict first order. french_format.kif 264-264
No TPTP formula. May not be expressible in strict first order. relations-it.txt 314-314
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 216-216
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 196-196
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 270-270
No TPTP formula. May not be expressible in strict first order. relations-de.txt 595-595
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 349-349
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 506-506
No TPTP formula. May not be expressible in strict first order. Merge.kif 4332-4332 Where is internally related to when
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 456-456 "何时函数" is the printable form of when in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10926-10926 "when" is the printable form of when in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 646-646 "«وَقْت وجُود»" is the printable form of when in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8137-8139 A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
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. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Merge.kif 18491-18497
No TPTP formula. May not be expressible in strict first order. Merge.kif 18460-18466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14499-14509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 676-689
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. Mid-level-ontology.kif 661-673
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 654-660
No TPTP formula. May not be expressible in strict first order. Merge.kif 13683-13691
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. UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1921-1929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 610-623
No TPTP formula. May not be expressible in strict first order. Geography.kif 6339-6353
No TPTP formula. May not be expressible in strict first order. Merge.kif 11790-11799
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-437
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3128-3141
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 155-166

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 8448-8450 A physical occurs at the same time as another physical if and only if the time of existence of the physical is equal to the time of existence of the other physical
No TPTP formula. May not be expressible in strict first order. People.kif 104-117 The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27977-27985 Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
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. Mid-level-ontology.kif 14148-14157
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16090-16096
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Music.kif 476-489
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Merge.kif 13693-13706
No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28386-28392
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3731-3740
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3742-3752
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3779-3788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3790-3800

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. Media.kif 1972-1980 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all a human
No TPTP formula. May not be expressible in strict first order. Media.kif 1922-1922 JesusOfNazareth is located at palestine holds during the time of existence of JesusOfNazareth


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