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 |
|
| (instance frequency BinaryPredicate) | Merge.kif 8084-8084 | frequency is an instance of binary predicate |
| (domainSubclass frequency 1 Process) | Merge.kif 8085-8085 | The number 1 argument of frequency is a subclass of process |
| (domain frequency 2 TimeDuration) | Merge.kif 8086-8086 | The number 2 argument of frequency is an instance of time duration |
| (documentation frequency 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 |
|
|
| (termFormat EnglishLanguage frequency "frequency") | domainEnglishFormat.kif 25012-25012 | |
| (termFormat ChineseTraditionalLanguage frequency "頻率") | domainEnglishFormat.kif 25013-25013 | |
| (termFormat ChineseLanguage frequency "频率") | domainEnglishFormat.kif 25014-25014 | |
| (format EnglishLanguage frequency "%1 %n{doesn't} occur%p{s} every %2") | english_format.kif 421-421 |
| antecedent |
|
|
| (=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POSITION) (and (temporalPart ?POSITION ?TIME2) (holdsDuring ?POSITION (exists (?INST) (instance ?INST ?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 |
|
|
| (=> (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 |
|