(=>
(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 |
|
(=>
(and
(instance ?AWARD LegalAward)
(refers ?AWARD ?ACTION)
(instance ?ACTION LegalAction)
(agent ?ACTION ?PLAINTIFF))
(confersRight
(exists (?GET ?OBJ ?VALUE)
(and
(instance ?GET Getting)
(experiencer ?GET ?PLAINTIFF)
(patient ?GET ?OBJ)
(monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF)) |
Mid-level-ontology.kif 16042-16054 |
|
(=>
(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 23794-23811 |
|
(=>
(equal
(WealthFn ?PERSON) ?AMOUNT)
(monetaryValue
(PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7740-7744 |
|
(=>
(financialAsset ?P ?A)
(exists (?V)
(monetaryValue ?A ?V))) |
Mid-level-ontology.kif 23822-23825 |
|
(=>
(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 2975-2987 |
|
(=>
(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 2999-3011 |
|
(=>
(instance ?Asset FinancialAsset)
(exists (?Value)
(monetaryValue ?Asset ?Value))) |
FinancialOntology.kif 47-50 |
|
(=>
(instance ?CURRENCY Currency)
(exists (?MEASURE)
(monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15507-15510 |
|
(=>
(instance ?Cash Currency)
(exists (?Value)
(monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3492-3495 |
|
(=>
(instance ?Check Check)
(exists (?Value)
(monetaryValue ?Check ?Value))) |
FinancialOntology.kif 94-97 |
|
(=>
(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 2104-2124 |
- If a process is an instance of currency exchange,
- then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , an agent,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the agent is an agent of the process and the other entity is not equal to the fourth entity and the entity is an instance of currency measure and the third entity is an instance of currency measure and value of the fifth entity is the entity and the agent possesses the fifth entity and the entity is equal to the seventh entity the other entity(s) holds during the beginning of the time of existence of the process and value of the sixth entity is the third entity and the agent possesses the sixth entity and the agent doesn't possess the fifth entity and the third entity is equal to the eighth entity the fourth entity(s) holds during the end of the time of existence of the process
|
(=>
(transactionAmount ?TRANS ?AMOUNT)
(exists (?OBJ)
(and
(patient ?TRANS ?OBJ)
(monetaryValue ?OBJ ?AMOUNT)))) |
Merge.kif 11780-11785 |
|
