(=>
(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 16199-16211 |
|
(=>
(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 23827-23844 |
|
(=>
(equal
(WealthFn ?PERSON) ?AMOUNT)
(monetaryValue
(PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7823-7827 |
|
(=>
(financialAsset ?P ?A)
(exists (?V)
(monetaryValue ?A ?V))) |
Mid-level-ontology.kif 23855-23858 |
|
(=>
(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 15676-15679 |
|
(=>
(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 11879-11884 |
|