(=>
(and
(rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
(equal ?QUANT
(PerFn ?PRICE
(measure ?TIME ?U)))
(instance ?U UnitOfDuration)
(immediateInstance ?ITEM ?OBJ)
(instance ?R Renting)
(patient ?R ?ITEM)
(agent ?R ?CUSTOMER)
(time ?R ?TIMEINT))
(forall (?X)
(=>
(exists (?DURATION)
(and
(during ?TIMEINT ?X)
(instance ?X TimeInterval)
(duration ?X
(MeasureFn ?DURATION ?U))
(lessThanOrEqualTo ?DURATION ?TIME)))
(exists (?P)
(and
(instance ?P Payment)
(destination ?P ?AGENT)
(agent ?P ?CUSTOMER)
(transactionAmount ?P ?PRICE)))))) |
Catalog.kif 467-492 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N Integer))
(desires ?A
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G Collection)
(memberType ?G ?O)
(memberCount ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30956-30971 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N Integer))
(not
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G Collection)
(memberType ?G ?O)
(memberCount ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30923-30938 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N PhysicalQuantity))
(desires ?A
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G ?O)
(measure ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30973-30987 |
|
(=>
(and
(shortage ?A ?O ?C ?T ?N)
(instance ?N PhysicalQuantity))
(not
(exists (?B ?G)
(and
(instance ?B Buying)
(during
(WhenFn ?B) ?T)
(objectTransferred ?B ?G)
(transactionAmount ?B ?C)
(agent ?B ?A)
(instance ?G ?O)
(measure ?G ?N)
(possesses ?A ?G))))) |
Mid-level-ontology.kif 30940-30954 |
|
(=>
(askPrice ?Obj ?Money ?Agent)
(exists (?Offering)
(and
(instance ?Offering Offering)
(patient ?Offering
(exists (?Selling)
(and
(instance ?Selling Selling)
(agent ?Selling ?Agent)
(patient ?Selling ?Obj)
(transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1933-1943 |
|
(=>
(bidPrice ?Obj ?Money ?Agent)
(exists (?Offering)
(and
(instance ?Offering Offering)
(patient ?Offering
(exists (?Buying)
(and
(instance ?Buying Buying)
(agent ?Buying ?Agent)
(patient ?Buying ?Obj)
(transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1912-1922 |
|
(=>
(instance ?BEST_OFFER BestOffering)
(and
(containsInformation ?BEST_OFFER
(exists (?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(and
(instance ?BUYING Buying)
(agent ?BUYING ?AGENT)
(patient ?BUYING ?OBJECT)
(transactionAmount ?BUYING
(MeasureFn ?MONEY1 ?U)))))
(not
(exists (?OFFER2)
(containsInformation ?OFFER2
(exists (?BUYING2 ?AGENT2 ?MONEY2)
(and
(instance ?BUYING2 Buying)
(agent ?BUYING2 ?AGENT2)
(patient ?BUYING2 ?OBJECT)
(transactionAmount ?BUYING2
(MeasureFn ?MONEY2 ?U))
(greaterThan ?MONEY2 ?MONEY1)))))))) |
UXExperimentalTerms.kif 1654-1675 |
- Wenn entity_OFFER ist ein fall von BestOffering %n{nicht},
- dann ** entity_OFFER enthaelt Informationen ueber es gibt ** entity, ** entity,, , ** entity,, , ** entity, and und ** entity um ** ** entity ist ein fall von Buying %n{nicht} und ** ** entity ist der agent von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und transactionAmount ** ** entity and ** ** entity ** ** entity(s) und es gibt nicht ContentBearingPhysical um ** ContentBearingPhysical enthaelt Informationen ueber es gibt ** ** entity2, ** ** entity2, and und ** entity um ** ** entity2 ist ein fall von Buying %n{nicht} und ** ** entity2 ist der agent von ** ** entity2 %n{nicht} und ** ** entity ist ein patient von ** ** entity2 %n{nicht} und transactionAmount ** ** entity2 and ** ** entity ** ** entity(s) und ** ** entity ist groesserAls ** ** entity %n{nicht}
|
(=>
(instance ?REPAYMENT Repayment)
(exists (?PAYMENT ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT)
(and
(instance ?PAYMENT ?PAYMENT)
(not
(equal ?PAYMENT ?REPAYMENT))
(transactionAmount ?PAYMENT ?PAYMENT_AMOUNT)
(transactionAmount ?REPAYMENT ?REPAYMENT_AMOUNT)
(equal ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT)))) |
UXExperimentalTerms.kif 1872-1881 |
|
(=>
(instance ?RETURN TaxReturn)
(hasPurpose ?RETURN
(exists (?CALCULATE ?AMOUNT ?TAX)
(and
(instance ?CALCULATE Calculating)
(instrument ?CALCULATE ?RETURN)
(result ?CALCULATE ?AMOUNT)
(transactionAmount ?TAX ?AMOUNT)
(instance ?TAX Tax))))) |
FinancialOntology.kif 933-942 |
|
(=>
(instance ?Stock PreferredStock)
(exists (?Dividend ?Amount)
(and
(instance ?Dividend Dividend)
(transactionAmount ?Dividend ?Amount)))) |
FinancialOntology.kif 2172-2177 |
|
(=>
(periodicPayment ?Account ?Amount ?Period)
(exists (?Payment ?Class)
(and
(instance ?Payment Payment)
(origin ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment ?Amount)
(instance ?Payment ?Class)
(frequency ?Class ?Period)))) |
FinancialOntology.kif 742-750 |
|
(=>
(price ?Obj ?Money ?Agent)
(exists (?Buying)
(and
(instance ?Buying Buying)
(agent ?Buying ?Agent)
(patient ?Buying ?Obj)
(transactionAmount ?Buying ?Money)))) |
Mid-level-ontology.kif 7742-7749 |
|
(=>
(productPrice ?ENT ?PRICE ?AGENT)
(modalAttribute
(=>
(and
(instance ?S Selling)
(immediateInstance ?I ?ENT)
(patient ?S ?I)
(agent ?S ?AGENT))
(transactionAmount ?S ?PRICE)) Likely)) |
Catalog.kif 419-428 |
|