(=>
(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 16227-16239 |
|
(=>
(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 23885-23902 |
|
(=>
(equal
(WealthFn ?PERSON) ?AMOUNT)
(monetaryValue
(PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7837-7841 |
|
(=>
(financialAsset ?P ?A)
(exists (?V)
(monetaryValue ?A ?V))) |
Mid-level-ontology.kif 23913-23916 |
|
(=>
(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 2974-2986 |
|
(=>
(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 2998-3010 |
|
(=>
(instance ?Asset FinancialAsset)
(exists (?Value)
(monetaryValue ?Asset ?Value))) |
FinancialOntology.kif 47-50 |
|
(=>
(instance ?CURRENCY Currency)
(exists (?MEASURE)
(monetaryValue ?CURRENCY ?MEASURE))) |
Merge.kif 15700-15703 |
|
(=>
(instance ?Cash Currency)
(exists (?Value)
(monetaryValue ?Cash ?Value))) |
FinancialOntology.kif 3481-3484 |
|
(=>
(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 11903-11908 |
|