(=>
(weddingdate ?PERSON1 ?PERSON2 ?DAY)
(exists (?WEDDING)
(and
(instance ?WEDDING Wedding)
(patient ?WEDDING ?PERSON1)
(patient ?WEDDING ?PERSON2)
(not
(equal ?PERSON1 ?PERSON2))
(date ?WEDDING ?DAY)))) |
Mid-level-ontology.kif 26500-26509 |
If X and Y were married on Z, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, equal X, Y, and date of W is Z |
(=>
(birthdate ?P ?D)
(exists (?B)
(and
(instance ?B Birth)
(experiencer ?B ?P)
(date ?B ?D)))) |
Mid-level-ontology.kif 26554-26560 |
If X is a birthdate of Y, then there exists Z such that Z is an instance of birth, Y experiences Z, and date of Z is X |
(=>
(deathdate ?P ?T)
(exists (?D)
(and
(instance ?D Death)
(experiencer ?D ?P)
(date ?D ?T)))) |
Mid-level-ontology.kif 26583-26589 |
If X is a deathdate of Y, then there exists Z such that Z is an instance of death, Y experiences Z, and date of Z is X |
(=>
(baptizeddate ?PERSON ?DAY)
(exists (?BAPTISM)
(and
(instance ?BAPTISM Baptizing)
(experiencer ?BAPTISM ?PERSON)
(date ?BAPTISM ?DAY)))) |
Biography.kif 183-189 |
If X was baptizing on Y, then there exists Z such that Z is an instance of baptizing, X experiences Z, and date of Z is Y |
(=>
(and
(amountDue ?Account ?Amount ?DueDate)
(accountHolder ?Account ?Agent))
(holdsObligation ?Agent
(exists (?Payment)
(and
(instance ?Payment Payment)
(transactionAmount ?Payment ?Amount)
(or
(destination ?Payment
(CurrencyFn ?Account))
(origin ?Payment
(CurrencyFn ?Account)))
(date ?Payment ?Date)
(beforeOrEqual
(EndFn ?Date)
(BeginFn ?DueDate)))))) |
FinancialOntology.kif 676-689 |
If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z |
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account OpeningAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency))
(exists (?Payment ?Date ?Amount)
(and
(destination ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment
(MeasureFn ?Amount ?U))
(greaterThanOrEqualTo ?Amount ?Balance)
(agreementEffectiveDate ?Account ?Date)
(date ?Payment ?Date)))) |
FinancialOntology.kif 708-721 |
If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V |
(=>
(and
(instance ?Account FinancialAccount)
(minimumBalance ?Account UsingAnAccount
(MeasureFn ?Balance ?U))
(instance ?U UnitOfCurrency)
(currentAccountBalance ?Account ?Date
(MeasureFn ?Amount ?U))
(lessThan ?Amount ?Balance))
(exists (?Penalty)
(and
(instance ?Penalty Penalty)
(date ?Penalty ?Date)
(destination ?Penalty
(CurrencyFn ?Account))))) |
FinancialOntology.kif 723-736 |
If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X |
(=>
(and
(downPayment ?Loan ?Amount)
(agreementEffectiveDate ?Loan ?Date))
(exists (?Payment)
(and
(transactionAmount ?Payment ?Amount)
(date ?Payment ?Date)
(destination ?Payment
(CurrencyFn ?Loan))))) |
FinancialOntology.kif 829-838 |
If X is a down payment of Y and Z is an agreement effective date of Y, then there exists W such that X is a transaction amount of W, date of W is Z, and W ends up at the currency of Y |
(=>
(and
(instance ?Loan BalloonLoan)
(maturityDate ?Loan ?Date)
(totalBalance ?Loan ?Amount)
(borrower ?Loan ?Agent))
(holdsObligation ?Agent
(exists (?Payment)
(and
(date ?Payment ?Date)
(transactionAmount ?Payment ?Amount)
(destination ?Payment
(CurrencyFn ?Loan)))))) |
FinancialOntology.kif 1451-1462 |
If X is an instance of balloon loan, Y is a maturity date of X, Z is a total balance of X, and X is the borrower of W, then W is obliged to perform tasks of type there exists V such that date of V is Y, Z is a transaction amount of V, and V ends up at the currency of X |
(=>
(dateOfStatement ?Statement ?Date)
(exists (?Copy)
(and
(containsInformation ?Copy ?Statement)
(date ?Copy ?Date)))) |
FinancialOntology.kif 4089-4094 |
If X is a date of statement of Y, then there exists Z such that Z contains information Y and date of Z is X |
(=>
(foundingdate ?ORG ?D)
(exists (?F)
(and
(instance ?F Founding)
(instance ?ORG Organization)
(experiencer ?F ?ORG)
(date ?F ?D)))) |
Society.kif 214-221 |
If foundingdate X and Y, then there exists Z such that Z is an instance of founding, X is an instance of organization, X experiences Z, and date of Z is Y |
Selling