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。"')

chinese_format.kif 2083-2085
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 3790-3793
s__domain(s__holdsDuring__m,n__1,s__TimePosition)

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

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

s__instance(s__AsymmetricRelation,s__Class)

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

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 3785-3785 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 122-122
s__relatedInternalConcept(s__time__m,s__holdsDuring__m)

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

chinese_format.kif 122-122
s__termFormat(s__ChineseLanguage,s__holdsDuring__m,'"持有期间"')

domainEnglishFormat.kif 28344-28344
s__termFormat(s__ChineseTraditionalLanguage,s__holdsDuring__m,'"持有期間"')

domainEnglishFormat.kif 28343-28343
s__termFormat(s__EnglishLanguage,s__holdsDuring__m,'"holds during"')

domainEnglishFormat.kif 28342-28342

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29410-29420 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Weather.kif 2673-2683 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29364-29372 Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity wears the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29377-29385 Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29455-29468 Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29503-29511 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 1544-1550 An entity is an instance of LegalAgent holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5884-5897
No TPTP formula. May not be expressible in strict first order. Merge.kif 13222-13235
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
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 7740-7747
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. Mid-level-ontology.kif 23209-23226
No TPTP formula. May not be expressible in strict first order. Merge.kif 17537-17545
No TPTP formula. May not be expressible in strict first order. Merge.kif 17517-17527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5578-5585
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3198-3212
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Merge.kif 4146-4152
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167

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 29410-29420 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 11888-11895 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity 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 2673-2683 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
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 a time position such that the time position 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 time position
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 a time position such that the time position 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 time position
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 a time position such that the time position is an instance of a kind of time interval and the currency measure is a capital expenditures of area of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 3664-3669 A kind of time interval is a currency exchange per US dollar of a currency measure if and only if there exists a time position such that the time position 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 time position
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 a time position such that the time position is an instance of a kind of time interval and the currency measure is a currency exchange rate of the UnitOfCurrency holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2822-2827 A geopolitical area is economic aid donated in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position 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 time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2862-2867 A geopolitical area is economic aid received net in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position 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 time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2060-2065 A geopolitical area is 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 a time position such that the time position is an instance of a kind of time interval and the geopolitical area is electricity fraction from source a kind of power generation for the real number holds during the time position
No TPTP formula. May not be expressible in strict first order. People.kif 415-446 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 327-357 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 371-402 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 178-206 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 a number) is equal to 1 and the population of the geopolitical area is equal to another number holds during the year the integer and the other number and 1000 is equal to a third number and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fourth number and the fourth number and the third number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 78-90 The population growth of a geopolitical area and the year an integer is equal to a real number if and only if there exist a kind of year and another kind of year such that (the integer and another integer) is equal to 1 and a kind of year is equal to the year the integer and another kind of year is equal to the year the other integer and the population of the geopolitical area is equal to a number holds during the kind of year and the population of the geopolitical area is equal to another number holds during the other kind of year and the number and the other number is equal to a third number and (the third number and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4128-4130 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 a time position such that the time position 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 time position
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 a time position such that the time position 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 time position
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 a time position such that the time position is an instance of a kind of time interval and the other agent is an export partner of the agent holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2778-2783 A geopolitical area is external debt in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an external debt of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 1269-1274 A geopolitical area is 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 29364-29372 Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity wears the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29377-29385 Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 1544-1550 An entity is an instance of LegalAgent holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position

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 466-476 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 a symbolic string
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 a symbolic string
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2422-2426 There exists a time position such that the time position is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during the time position
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2410-2414 There exists a time position such that the time position is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during the time position
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 an entity

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2531-2532 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. Media.kif 2513-2516 A time position is an instance of the day 3 and Montenegro is an instance of european nation holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2508-2511 A time position is an instance of the day 3 and Montenegro is an instance of independent state holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2518-2521 A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2771-2771 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 2751-2751 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 3.0 is open source software produced by Articulate Software and its partners