| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30202-30212 |
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. |
Mid-level-ontology.kif 26362-26373 |
A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7440-7451 |
An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7469-7479 |
An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object |
| 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. |
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. |
Mid-level-ontology.kif 744-755 |
Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4711-4720 |
Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23098-23103 |
A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 272-293 |
A real number is an average of a list if and only if there exist another list and a positive integer such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all another positive integer and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3943-3948 |
A BankFinancialOrganization is a bank account of a kind of financial account if and only if there exists another financial account such that the other financial account is an instance of a kind of financial account and the other financial account is held by the BankFinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 1528-1539 |
A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the belief group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 |
| 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. |
Mid-level-ontology.kif 23113-23128 |
A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human |
| 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. |
Mid-level-ontology.kif 7754-7760 |
An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3635-3642 |
A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2781-2786 |
An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object is the self connected object and the self connected object is a surface of planet earth |
| 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 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
