| Currency(currency)
|
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass currencyValue 1 Currency) | Economy.kif 3934-3934 | The number 1 argument of currency value is a subclass of currency |
| antecedent |
|
|
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15826-15829 | If X is an instance of currency, then there exists Y such that value of X is Y |
| (=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 2467-2476 | If X is an instance of vending, the object transferred in X is Y, and Y is not an instance of currency, then the statement Y is an instance of food for human or Y is an instance of beverage has the modal force of likely |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3499-3502 | If X is an instance of currency, then there exists Y such that value of X is Y |
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction (MeasureFn ?Amount1 ?U)) (instance ?U UnitOfCurrency) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day (MeasureFn ?Amount2 ?U)) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3856-3870 | If All of the following hold: (1) X is an instance of financial transaction (2) X originates at the currency of Y (3) Z W(s) is a transaction amount of X (4) W is an instance of unit of currency (5) V is an instance of currency (6) V is a patient of X (7) date of X is U, then there exists T such that the available cash of Y on U is T W(s) and Z is greater than or equal to T |
| consequent |
|
|
| (=> (instance ?FUND Funding) (exists (?MONEY) (and (instance ?MONEY Currency) (patient ?FUND ?MONEY)))) |
Merge.kif 11872-11877 | If X is an instance of funding, then there exists Y such that Y is an instance of currency and Y is a patient of X |
| (=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O ?V) (and (instance ?V Vending) (instance ?H Human) (instance ?O Object) (objectTransferred ?V ?O) (instrument ?V ?VM) (origin ?V ?VM) (not (instance ?O Currency)) (destination ?V ?H))))) |
Mid-level-ontology.kif 2440-2453 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y |
| (=> (instance ?VD VendingMachine) (hasPurpose ?VD (exists (?T ?C ?P) (and (instance ?T FinancialTransaction) (instrument ?T ?VD) (patient ?T ?C) (instance ?C Currency) (patient ?T ?P) (instance ?P Product))))) |
Mid-level-ontology.kif 2455-2465 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of financial transaction (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of currency (6) W is a patient of Y (7) W is an instance of product |
| (=> (instance ?P CashPayment) (exists (?C) (and (instrument ?P ?C) (instance ?C Currency)))) |
Dining.kif 457-462 | If X is an instance of cash payment, then there exists Y such that Y is an instrument for X and Y is an instance of currency |
| (=> (and (instance ?CG CapitalMeanOfProduction) (attribute ?CGO ?CG)) (exists (?M ?A ?MONEY ?AGENT ?PROPERTYITEM) (or (and (instance ?MONEY Currency) (equal ?CGO ?MONEY)) (and (element ?PROPERTYITEM (PropertyFn ?AGENT)) (equal ?PROPERTYITEM ?CGO)) (and (instance ?A Artifact) (equal ?CGO ?A))))) |
Economy.kif 6111-6125 | If X is an instance of capital goods and X is an attribute of Y, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that V is an instance of currency (3) equal Y (4) V, T is an element of belongings of U (5) equal T (6) Y, or W is an instance of artifact (7) equal Y (8) W |
|
|
|