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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3988-3990
No TPTP formula. May not be expressible in strict first order. Merge.kif 3984-3987
No TPTP formula. May not be expressible in strict first order. Merge.kif 3982-3982 The number 1 argument of holds during is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 3983-3983 The number 2 argument of holds during is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 3981-3981 holds during is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3980-3980 holds during is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order. english_format.kif 87-87
No TPTP formula. May not be expressible in strict first order. french_format.kif 82-82
No TPTP formula. May not be expressible in strict first order. relations-it.txt 129-129
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 34-34
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 32-32
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 117-117
No TPTP formula. May not be expressible in strict first order. relations-de.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 264-264
No TPTP formula. May not be expressible in strict first order. Merge.kif 3967-3967 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 122-122 "在这段时间为真" is the printable form of holds during in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5143-5143 "holds during" is the printable form of holds during in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 482-482 "«يَصِحُّ خِلال»" is the printable form of holds during in ar
No TPTP formula. May not be expressible in strict first order. 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 27891-27901 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 27848-27856 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 27860-27868 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 27933-27944 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 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 1630-1636 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 13693-13706
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 843-856
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 8128-8135
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 2594-2610
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 28357-28378
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 16413-16418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7266-7273

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 27891-27901 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 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. 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 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. 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 number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) 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 4339-4341 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 27848-27856 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 27860-27868 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 1630-1636 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