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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsDuring
holdsDuring

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


s__documentation(s__holdsDuring__m,s__ChineseLanguage,'(holdsDuring ?TIME ?FORMULA) 的意思是 由 ?FORMULA 表示的命题在 ?TIME时段是事实。注:这意味着 ?FORMULA 在每一个 TimePoint 都是真的, TimePoint 是 ?TIME 一个的 temporalPart。')

Merge.kif 4002-4004
s__documentation(s__holdsDuring__m,s__EnglishLanguage,'(holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME.')

Merge.kif 3998-4001
s__domain(s__holdsDuring__m,1,s__TimePosition)

Merge.kif 3996-3996 The number 1 argument of holds during is an instance of time position
s__domain(s__holdsDuring__m,2,s__Formula)

Merge.kif 3997-3997 The number 2 argument of holds during is an instance of formula
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 3995-3995 holds during is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 3994-3994 holds during is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__holdsDuring__m,'%2 %n{doesnt} 在 %1 holdsDuring')

chinese_format.kif 121-121
s__format(s__EnglishLanguage,s__holdsDuring__m,'%2 %n{doesnt} hold%p{s} during %1')

english_format.kif 87-87
s__format(s__FrenchLanguage,s__holdsDuring__m,'%2 pendant %1')

french_format.kif 82-82
s__format(s__ItalianLanguage,s__holdsDuring__m,'%2 %n{non} vale%p{s} durante %1')

relations-it.txt 129-129
s__format(s__PortugueseLanguage,s__holdsDuring__m,'%2 vale durante %1')

portuguese_format.kif 34-34
s__format(s__ar__m,s__holdsDuring__m,'%2 %n{لا} يَصِحُّ خِلال %1')

arabic_format.kif 32-32
s__format(s__cz__m,s__holdsDuring__m,'%2 %2a{%n{ne}plat�} %1a{b�hem} %1')

relations-cz.txt 117-117
s__format(s__de__m,s__holdsDuring__m,'%2 haelt waehrend %1 %n{nicht}')

relations-de.txt 142-142
s__format(s__hi__m,s__holdsDuring__m,'%2 %1 kii samayaavadhi men yathaartha %n{nahiin} hai')

relations-hindi.txt 169-169
s__format(s__tg__m,s__holdsDuring__m,'%2 %n ay tutoo panahon ng %1')

relations-tg.txt 264-264
s__relatedInternalConcept(s__time__m,s__holdsDuring__m)

Merge.kif 3981-3981 time is internally related to holds during
s__termFormat(s__ChineseLanguage,s__holdsDuring__m,'在这段时间为真')

chinese_format.kif 122-122 "在这段时间为真" is the printable form of holds during in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__holdsDuring__m,'holds during')

domainEnglishFormat.kif 5143-5143 "holds during" is the printable form of holds during in english language
s__termFormat(s__ar__m,s__holdsDuring__m,'«يَصِحُّ خِلال»')

arabic_format.kif 482-482 "«يَصِحُّ خِلال»" is the printable form of holds during in ar
s__termFormat(s__tg__m,s__holdsDuring__m,'tutoo sa panahon')

relations-tg.txt 265-265 "tutoo sa panahon" is the printable form of holds during in tg

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28252-28262 An object is an instance of body part and Bare is an attribute of the object holds during an entity if and only if there doesn't exist another object such that the other object is an instance of clothing and the other object covers the object holds during the entity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1086-1096 An object is an instance of region and the object has an attribute standard ambient temperature and pressure holds during an entity if and only if 298.15 kelvin degree(s) is an air temperature of the object and 29.530 inch mercury(s) is a barometric pressure of the object holds during the entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28209-28217 Barefoot is an attribute of an animal holds during an entity if and only if there doesn't exist a wearable item such that the wearable item is an instance of shoe and the animal wears the wearable item holds during the entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28221-28229 Naked is an attribute of an animal holds during an entity if and only if there doesn't exist a wearable item such that the wearable item is an instance of clothing and the animal wears the wearable item holds during the entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28294-28305 Alone is an attribute of an object holds during an entity if and only if there don't exist another entity and a process such that a third entity is not equal to the other entity and the other entity is an instance of agent and the process is an instance of social interaction and the third entity is an involved in event of the process and the other entity is an involved in event of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28338-28346 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 1636-1642 An object is an instance of LegalAgent holds during an entity if and only if the object is capable of doing legal action as a agent or the object is capable of doing legal action as a patient holds during the entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 13772-13785
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. Cars.kif 802-815
No TPTP formula. May not be expressible in strict first order. Government.kif 209-221
No TPTP formula. May not be expressible in strict first order. Media.kif 406-411
No TPTP formula. May not be expressible in strict first order. Media.kif 509-514
No TPTP formula. May not be expressible in strict first order. Merge.kif 8160-8167
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
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. Cars.kif 2553-2569
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28718-28739
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201
No TPTP formula. May not be expressible in strict first order. Merge.kif 16491-16496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7270-7277

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. Mid-level-ontology.kif 28252-28262 An object is an instance of body part and Bare is an attribute of the object holds during an entity if and only if there doesn't exist another object such that the other object is an instance of clothing and the other object covers the object holds during the entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 12318-12325 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. Weather.kif 1086-1096 An object is an instance of region and the object has an attribute standard ambient temperature and pressure holds during an entity if and only if 298.15 kelvin degree(s) is an air temperature of the object and 29.530 inch mercury(s) is a barometric pressure of the object holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1523-1528 A geopolitical area annual expenditures of area in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is an annual expenditures of area of the geopolitical area holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1494-1499 A geopolitical area annual revenues of area in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is an annual revenues of area of the geopolitical area holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1569-1574 A geopolitical area capital expenditures of area in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and another currency measure is a capital expenditures of area of the geopolitical area holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 3664-3669 A kind of time interval is a currency exchange perUS dollar of a currency measure if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is a currency exchange rate of united states dollar holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 3671-3676 An UnitOfCurrency currency exchange rate in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is a currency exchange rate of the UnitOfCurrency holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2822-2827 A geopolitical area economic aid donated in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is an economic aid donated of the geopolitical area holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2862-2867 A geopolitical area economic aid received net in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is an economic aid received net of the geopolitical area holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2060-2065 A geopolitical area electricity fraction from source in period a kind of power generation for a real number with a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the geopolitical area electricity fraction from source a kind of power generation for the real number holds during the entity
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 another integer 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 another integer 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 another integer 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 174-202 The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a fourth integer is equal to the number of instances in the class described by an organism and a fifth integer is equal to the number of instances in the class described by the organism and (the fourth integer and the fifth integer) is equal to another quantity and the other quantity and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 77-86 The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the population of the geopolitical area is equal to a fourth integer holds during the year the other integer and the third integer and the fourth integer is equal to a quantity and (the quantity and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4357-4359 The place where a physical was at a time point is equal to a region if and only if the physical is exactly located in the region holds during the time point
No TPTP formula. May not be expressible in strict first order. Economy.kif 2552-2557 A geopolitical area export partner by fraction in period another geopolitical area for a positive real number with a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the geopolitical area export partner by fraction the other geopolitical area for the positive real number holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2514-2519 A geopolitical area export partner by rank in period another geopolitical area for a positive integer with a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the geopolitical area export partner by rank the other geopolitical area for the positive integer holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2391-2396 An agent export partner in period another agent for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the other agent is an export partner of the agent holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2778-2783 A geopolitical area external debt in period a currency measure for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the currency measure is an external debt of the geopolitical area holds during the entity
No TPTP formula. May not be expressible in strict first order. Economy.kif 1269-1274 A geopolitical area highest decile share of household income in period a real number for a kind of time interval if and only if there exists an entity such that the entity is an instance of a kind of time interval and the real number is a highest decile share of household income of the geopolitical area holds during the kind of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28209-28217 Barefoot is an attribute of an animal holds during an entity if and only if there doesn't exist a wearable item such that the wearable item is an instance of shoe and the animal wears the wearable item holds during the entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28221-28229 Naked is an attribute of an animal holds during an entity if and only if there doesn't exist a wearable item such that the wearable item is an instance of clothing and the animal wears the wearable item holds during the entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1636-1642 An object is an instance of LegalAgent holds during an entity if and only if the object is capable of doing legal action as a agent or the object is capable of doing legal action as a patient holds during the entity

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. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by an agent
No TPTP formula. May not be expressible in strict first order. Military.kif 928-941 The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by an organism
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

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2507-2508 Montenegro is an instance of european nation holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2505-2506 Montenegro is an instance of independent state holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2509-2510 Montenegro has name "Montenegro" holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2519-2520 Serbia and montenegro is not an instance of independent state holds during after the day 3
No TPTP formula. May not be expressible in strict first order. Media.kif 2492-2493 Serbia is an instance of european nation holds during after the day 5
No TPTP formula. May not be expressible in strict first order. Media.kif 2490-2491 Serbia is an instance of independent state holds during after the day 5
No TPTP formula. May not be expressible in strict first order. Media.kif 2494-2495 Serbia has name "Republic of Serbia" holds during after the day 5
No TPTP formula. May not be expressible in strict first order. Government.kif 2732-2732 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2712-2712 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996
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