(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S)
(instance ?P Process)
(agent ?P ?O))
(frequency Process ?Q)) |
Mid-level-ontology.kif 33853-33860 |
If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every Y |
(=>
(and
(memberMeasure ?S Frequency ?Q)
(instance ?S Class)
(instance ?O ?S)
(instance ?P Process)
(agent ?P ?O))
(frequency Process ?Q)) |
Mid-level-ontology.kif 33862-33869 |
If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y |
(=>
(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 764-772 |
If X is periodic payment Y for Z, then there exist W, V such that W is an instance of payment, W originates at the currency of X, Y is a transaction amount of W, W is an instance of V, and V occurs every Z |
(=>
(and
(sheddingLeaves ?T ?L)
(instance ?T DeciduousTree)
(instance ?L PlantLeaf))
(exists (?SHED ?S)
(and
(subclass ?SHED Removing)
(frequency ?SHED YearDuration)
(instance ?S ?SHED)
(origin ?S ?T)
(patient ?S ?L)))) |
Geography.kif 8018-8029 |
If X is a Removing Y from its stems, X is an instance of deciduous tree, and Y is an instance of plant leaf, then there exist Z, W such that Z is a subclass of removing, Z occurs every year duration, W is an instance of Z, W originates at X, and Y is a patient of W |
