No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 18291839 
A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity 
No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 38723878 
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 987990 
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 980983 
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 30583069 
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 UnitOfCurrency 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 30093020 
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 UnitOfCurrency 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 30413049 
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 30223033 
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 UnitOfCurrency 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 30713082 
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 UnitOfCurrency 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. 
Military.kif 772778 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 130150 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 332346 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 853866 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 725748 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 758774 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 47614770 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 34493469 

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 540556 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 17721786 

No TPTP formula. May not be expressible in strict first order. 
Cars.kif 39083924 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 13831401 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 13621379 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 17031725 

No TPTP formula. May not be expressible in strict first order. 
MilitaryDevices.kif 14091418 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 31633189 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 