(=>
(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 16200-16212 |
|
(=>
(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 23828-23845 |
|
(=>
(equal
(WealthFn ?PERSON) ?AMOUNT)
(monetaryValue
(PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7801-7805 |
|
(=>
(financialAsset ?P ?A)
(exists (?V)
(monetaryValue ?A ?V))) |
Mid-level-ontology.kif 23856-23859 |
|
(=>
(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 15654-15657 |
|
(=>
(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 |
- Wenn Process ist ein fall von CurrencyExchangeService %n{nicht},
- dann es gibt Entity, ** entity,, , ** Entity,, , ** entity,, , AutonomousAgent,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** entity ist gleich ** ** entity nicht und ** Entity ist ein fall von CurrencyMeasure %n{nicht} und ** ** Entity ist ein fall von CurrencyMeasure %n{nicht} und wert von ** ** entity ist ** Entity und ** AutonomousAgent besitzt ** ** entity %n{nicht} und ** Entity ist gleich ** ** entity ** ** entity(s) %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und wert von ** ** entity ist ** ** Entity und ** AutonomousAgent besitzt ** ** entity %n{nicht} und ** AutonomousAgent besitzt ** ** entity nicht und ** ** Entity ist gleich ** ** entity ** ** entity(s) %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
|
(=>
(transactionAmount ?TRANS ?AMOUNT)
(exists (?OBJ)
(and
(patient ?TRANS ?OBJ)
(monetaryValue ?OBJ ?AMOUNT)))) |
Merge.kif 11857-11862 |
|