| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23060-23075 |
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 3648-3650 |
A kind of time interval is a currency exchange per US dollar of a currency measure if and only if united states dollar currency exchange rate in period the currency measure for a kind of time interval |
| 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 7726-7732 |
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. |
Justice.kif 26-28 |
A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object |
| 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 |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3260-3266 |
An agreement employs another agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 206-223 |
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1504-1509 |
A real number is equal to The StandardDeviationFn of a list if and only if the real number is equal to the squareRoot of The VarianceFn the list |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1698-1704 |
A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s) |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 1547-1558 |
A real number percent of people in a geographic area are an ethnic 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 ethnic 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. |
FinancialOntology.kif 3920-3926 |
There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan |
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 989-992 |
There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 981-984 |
There exists a number such that the number is a fixed interest rate of a financial account if and only if the financial account is an instance of fixed rate account |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3051-3062 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3002-3013 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3034-3042 |
There exist a financial instrument, the financial instrumentPrice and another currency measure such that an agreement is an instance of option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice for an agent and the other currency measure is a strike price of the agreement and the financial instrumentPrice is equal to the other currency measure if and only if the agent is an at the money of the agreement |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3015-3026 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3064-3075 |
There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement |
| 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 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
