|
| 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. | Merge.kif 1885-1889 | A real number is greater than or equal to another real number if and only if the real number is equal to the other real number or the real number is greater than the other real number |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1783-1787 | A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human |
| 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 17276-17284 | 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 30120-30128 | 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 30133-30141 | 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 30211-30224 | 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 30259-30267 | 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. | Economy.kif 2742-2747 | A geopolitical area import 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 import 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 2704-2709 | A geopolitical area import 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 import 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 2674-2679 | An agent import 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 import partner of the agent holds during the time position |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1318-1323 | A geopolitical area income distribution by gini index in period a nonnegative 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 nonnegative real number is an income distribution by gini index of the geopolitical area holds during the time position |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1949-1954 | A geopolitical area is industrial production growth rate 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 an industrial production growth rate of the geopolitical area holds during the time position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20199-20203 | An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20217-20221 | An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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