No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 3009530105 
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 1243612443 
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 26802690 
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 383416 
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 429462 
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 336368 
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 182213 
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 7890 
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 15171522 
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 14881493 
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 15651570 
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 36613666 
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 36683673 
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 28192824 
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 28592864 
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 20562061 
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 25492554 
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 25112516 
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 23872392 
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 27752780 
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 12791284 
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 1722417232 
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. 
Midlevelontology.kif 3004930057 
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. 
Midlevelontology.kif 3006230070 
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 16011607 
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 