Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| frequency |
| appearance as argument number 1 |
|
| s__instance(s__frequency,s__BinaryPredicate)
|
Merge.kif 8084-8084 | frequency is an instance of binary predicate |
| s__domainSubclass(s__frequency,n__1,s__Process)
|
Merge.kif 8085-8085 | The number 1 argument of frequency is a subclass of process |
| s__domain(s__frequency,n__2,s__TimeDuration)
|
Merge.kif 8086-8086 | The number 2 argument of frequency is an instance of time duration |
| s__documentation(s__frequency, s__EnglishLanguage, "(frequency ?PROC ?TIME) means that the Process type of ?PROC recurs after every interval of ?TIME_") | Merge.kif 8088-8089 | The number 2 argument of frequency is an instance of time duration |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__frequency, "frequency") | domainEnglishFormat.kif 25012-25012 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__frequency, "頻率") | domainEnglishFormat.kif 25013-25013 | |
| s__termFormat(s__ChineseLanguage, s__frequency, "频率") | domainEnglishFormat.kif 25014-25014 | |
| s__format(s__EnglishLanguage, s__frequency, "%1 %n{doesnt} occur%p{s} every %2") | english_format.kif 421-421 |
| antecedent |
|
|
| ! [V__PROC : $i,V__TIME1 : $i] : ((s__frequency(V__PROC, V__TIME1) => ( ! [V__TIME2:$i] : ((s__duration(V__TIME2, V__TIME1) => ( ? [V__POSITION:$i] : ((s__temporalPart(V__POSITION, V__TIME2) & s__holdsDuring(V__POSITION, ( ? [V__INST:$i] : (s__instance(V__INST, V__PROC)))))))))))) | Merge.kif 8091-8101 | If X occurs every Y, then For all TimeInterval Z: if duration of Z is Y, then there exists W such that W is a part of Z and there exists V such that V is an instance of X holds during W |
| consequent |
|
|
| ! [V__M,V__Q,V__O,V__S,V__P] : (((s__instance(V__M,s__MeasurementAttribute) & s__instance(V__Q,s__TimeDuration) & s__instance(V__O,s__AutonomousAgent)) => ((s__memberMeasure(V__S,V__M,V__Q) & s__instance(V__S,s__Set) & s__element(V__O,V__S) & s__instance(V__P,s__Process) & s__agent(V__P,V__O)) => s__frequency(s__Process,V__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 |
| ! [V__Q,V__O,V__S,V__P] : (((s__instance(V__Q,s__TimeDuration) & s__instance(V__O,s__AutonomousAgent)) => ((s__memberMeasure(V__S,s__Frequency,V__Q) & s__instance(V__S,s__Class) & s__instance(V__O,V__S) & s__instance(V__P,s__Process) & s__agent(V__P,V__O)) => s__frequency(s__Process,V__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 |
| ! [V__Account,V__Amount,V__Period] : (((s__instance(V__Account,s__FinancialAccount) & s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Period,s__TimeDuration)) => (s__periodicPayment(V__Account,V__Amount,V__Period) => (? [V__Payment,V__Class] : ((s__instance(V__Class,s__Class) & s__subclass(V__Class,s__Process) & (s__instance(V__Payment,s__Payment) & s__origin(V__Payment,s__CurrencyFn(V__Account)) & s__transactionAmount(V__Payment,V__Amount) & s__instance(V__Payment,V__Class) & s__frequency(V__Class,V__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 |
| ! [V__T,V__L] : (((s__sheddingLeaves(V__T,V__L) & s__instance(V__T,s__DeciduousTree) & s__instance(V__L,s__PlantLeaf)) => (? [V__SHED,V__S] : ((s__instance(V__SHED,s__Class) & s__subclass(V__SHED,s__Process) & s__instance(V__S,s__Process) & (s__subclass(V__SHED,s__Removing) & s__frequency(V__SHED,s__YearDuration) & s__instance(V__S,V__SHED) & s__origin(V__S,V__T) & s__patient(V__S,V__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 |
|