Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| monetaryValue |
| appearance as argument number 1 |
|
| (instance monetaryValue SingleValuedRelation) | Merge.kif 7959-7959 | monetary value is an instance of single valued relation |
| (instance monetaryValue BinaryPredicate) | Merge.kif 7960-7960 | monetary value is an instance of binary predicate |
| (domain monetaryValue 1 Physical) | Merge.kif 7961-7961 | The number 1 argument of monetary value is an instance of physical |
| (domain monetaryValue 2 CurrencyMeasure) | Merge.kif 7962-7962 | The number 2 argument of monetary value is an instance of currency measure |
| (documentation monetaryValue EnglishLanguage "A BinaryPredicate that associates an Object or Process with its value expressed as an instance of CurrencyMeasure.") | Merge.kif 7964-7966 | The number 2 argument of monetary value is an instance of currency measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (monetaryValue (PropertyFn ?PERSON) ?AMOUNT) (equal (WealthFn ?PERSON) ?AMOUNT)) |
Merge.kif 7982-7986 | If value of belongings of X is Y, then equal value of belongings of X and Y |
| (=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 106-120 | If value of X is Y, Z is a check account of X, W is an instance of processing a check, X is a patient of W, and equal the time of existence of W and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of withdrawing from an account (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U originates at Z |
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit ?DepositTime) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account))))) |
FinancialOntology.kif 122-137 | If All of the following hold: (1) value of X is Y (2) Z is an instance of processing a check (3) X is a patient of Z (4) Z ends up at the currency of W (5) W is an instance of financial account (6) equal the time of existence of Z and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of deposit (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U ends up at the currency of W |
| (=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount)))) |
FinancialOntology.kif 342-353 | If X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V |
| (=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (origin ?Payment ?Buyer) (destination ?Payment ?Seller)))) |
FinancialOntology.kif 508-520 | If X is an agent of Y, Y originates at Z, W is a patient of Y, and value of W is V, then there exists U such that U is a subprocess of Y, U is an instance of payment, V is a transaction amount of U, U originates at X, and U ends up at Z |
| (=> (and (downPayment ?Loan (MeasureFn ?Amount ?CUNIT)) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase (MeasureFn ?Value ?CUNIT)) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan (MeasureFn ?Balance ?CUNIT))) |
FinancialOntology.kif 840-850 | If X Y(s) is a down payment of Z, W is a loan for purchase of Z, value of W is V Y(s), and equal U and (V and X), then U Y(s) is an original balance of Z |
| consequent |
|
|
| (=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7976-7980 | If equal value of belongings of X and Y, then value of belongings of X is Y |
| (=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT)))) |
Merge.kif 12133-12138 | If X is a transaction amount of Y, then there exists Z such that Z is a patient of Y and value of Z is X |
| (=> (instance ?CURRENCY Currency) (exists (?MEASURE) (monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15939-15942 | If X is an instance of currency, then there exists Y such that value of X is Y |
| (=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight ?AWARD ?PLAINTIFF (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))))) |
Mid-level-ontology.kif 17833-17845 | If X is an instance of legal award, X includes a reference to Y, Y is an instance of legal action, and Z is an agent of Y, then Z allows there exist W, V, U such that W is an instance of getting, Z experiences W, V is a patient of W, and value of V is U to perform task of the type X |
| (=> (and (instance ?A Artifact) (instance ?S Salvaging) (patient ?S ?A)) (exists (?P ?V) (and (result ?S ?P) (part ?P ?A) (monetaryValue ?P ?V)))) |
Mid-level-ontology.kif 19099-19108 | If X is an instance of artifact, Y is an instance of salvaging, and X is a patient of Y, then there exist Z, W such that Z is a result of Y, Z is a part of X, and value of Z is W |
| (=> (and (instance ?S Saving) (patient ?S ?O) (agent ?S ?A)) (exists (?Q1 ?Q2 ?U) (and (instance ?U UnitOfCurrency) (holdsDuring (BeginFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q2 ?U))) (possesses ?A ?O) (lessThan ?Q1 ?Q2)))) |
Mid-level-ontology.kif 26113-26130 | If X is an instance of saving, Y is a patient of X, and Z is an agent of X, then there exist W, V and U such that U is an instance of unit of currency and value of Y is W U(s) holds during the beginning of the time of existence of X and value of Y is V U(s) holds during the end of the time of existence of X and Z possesses Y and W is less than V |
| (=> (financialAsset ?P ?A) (exists (?V) (monetaryValue ?A ?V))) |
Mid-level-ontology.kif 26141-26144 | If X has the asset Y, then there exists Z such that value of Y is Z |
| (=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 | If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation |
| (=> (grossMerchandiseBoughtInPeriod ?A ?O ?CM ?TP) (and (monetaryValue ?CI ?CM) (instance ?CI (KappaFn ?COL (and (instance ?B Buying) (instance ?ITEM ?COL) (agent ?B ?A) (patient ?B ?ITEM) (patient ?B ?O) (during ?B ?TP)))))) |
ComputerInput.kif 2993-3005 | If the value of everything purchased by X for Y during Z is W, then value of V is W and V is an instance of the class described by U |
| (=> (grossMerchandiseSoldInPeriod ?A ?O ?CM ?TP) (and (monetaryValue ?CI ?CM) (instance ?CI (KappaFn ?COL (and (instance ?S Selling) (instance ?ITEM ?COL) (agent ?S ?A) (patient ?S ?ITEM) (patient ?S ?O) (during ?S ?TP)))))) |
ComputerInput.kif 3017-3029 | If GMV X, Y, Z and W, then value of V is Z and V is an instance of the class described by U |
| (=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV))))) |
Economy.kif 1029-1050 | If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W |
| (=> (instance ?Asset FinancialAsset) (exists (?Value) (monetaryValue ?Asset ?Value))) |
FinancialOntology.kif 49-52 | If X is an instance of financial asset, then there exists Y such that value of X is Y |
| (=> (instance ?Check Check) (exists (?Value) (monetaryValue ?Check ?Value))) |
FinancialOntology.kif 96-99 | If X is an instance of check, then there exists Y such that value of X is Y |
| (=> (instance ?Cash Currency) (exists (?Value) (monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3539-3542 | If X is an instance of currency, then there exists Y such that value of X is Y |
| (=> (instance ?X CurrencyExchangeService) (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2) (and (agent ?X ?CUST) (not (equal ?CURR1 ?CURR2)) (instance ?AMT1 CurrencyMeasure) (instance ?AMT2 CurrencyMeasure) (holdsDuring (BeginFn (WhenFn ?X)) (and (monetaryValue ?M1 ?AMT1) (possesses ?CUST ?M1) (equal ?AMT1 (MeasureFn ?NUM1 ?CURR1)))) (holdsDuring (EndFn (WhenFn ?X)) (and (monetaryValue ?M2 ?AMT2) (possesses ?CUST ?M2) (not (possesses ?CUST ?M1)) (equal ?AMT2 (MeasureFn ?NUM2 ?CURR2))))))) |
Hotel.kif 2122-2142 | If X is an instance of currency exchange, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R and Q such that U is an agent of X and equal Z and V and Y is an instance of currency measure and W is an instance of currency measure and value of T is Y and U possesses T and equal Y and R Z(s) holds during the beginning of the time of existence of X and value of S is W and U possesses S and U doesn't possess T and equal W and Q V(s) holds during the end of the time of existence of X |
|