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. chinese_format.kif 2083-2085
No TPTP formula. May not be expressible in strict first order. Merge.kif 3884-3887
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 731-733
No TPTP formula. May not be expressible in strict first order. Merge.kif 3881-3881 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 3882-3882 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 3880-3880 holds during is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3879-3879 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 122-122
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. japanese_format.kif 1909-1909
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. 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-ro.kif 101-101
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 81-81
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 3869-3869 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28353-28353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28352-28352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28351-28351
No TPTP formula. May not be expressible in strict first order. terms-de.txt 42-42
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 265-265

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 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 2680-2690 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. Merge.kif 17254-17262 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 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 30145-30153 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 30223-30236 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 30271-30279 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 1601-1607 Legal agent is an attribute of an entity 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 6231-6244
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Geography.kif 1597-1603
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 223-234
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 7960-7967
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1838-1860
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1862-1884
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1799-1807
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1814-1821
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 23916-23932
No TPTP formula. May not be expressible in strict first order. Merge.kif 18246-18254

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 30178-30188 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 12466-12473 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 2680-2690 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. People.kif 357-390 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 403-436 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 310-342 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other 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 156-187 A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 1517-1522 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 1488-1493 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 1565-1570 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 3661-3666 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 3668-3673 An unit of currency 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 unit of currency holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2819-2824 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 2859-2864 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 2056-2061 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. Economy.kif 2549-2554 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 2511-2516 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 2387-2392 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 2775-2780 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 1279-1284 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 a time position such that the time position 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 time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30132-30140 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 30145-30153 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 1601-1607 Legal agent is an attribute of an entity 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 456-469 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the 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. Military.kif 933-946 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 2453-2457 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 2441-2445 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 1970-1978 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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2501-2504 Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2506-2509 Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2528-2531 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 2523-2526 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 2533-2536 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. Media.kif 2546-2550 A time position is an instance of the day 3 and serbia and montenegro is not an instance of independent state holds during after the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2791-2794 A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2769 A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 1920-1920 Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth


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