| appearance as argument number 1 |
|
| (documentation frequency ChineseLanguage "(frequency ?PROC ?TIME)的意思是 Process 类别 ?PROC 在每隔 ?TIME 重复发生一次。") | chinese_format.kif 2691-2692 | |
| (documentation frequency EnglishLanguage "(frequency ?PROC ?TIME) means that the Process type of ?PROC recurs after every interval of ?TIME.") | Merge.kif 7824-7825 | |
| (domain frequency 2 TimeDuration) | Merge.kif 7822-7822 | domain frequency, 2 and TimeDuration |
| (domainSubclass frequency 1 Process) | Merge.kif 7821-7821 | domainSubclass frequency, 1 and Process |
| (instance frequency BinaryPredicate) | Merge.kif 7820-7820 | instance frequency and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage frequency "%1 每 %2 %n{doesn't} 发生一次") | chinese_format.kif 415-415 | |
| (format EnglishLanguage frequency "%1 %n{doesn't} occur%p{s} every %2") | english_format.kif 421-421 | |
| (subrelation collectRate frequency) | QoSontology.kif 2150-2150 | subrelation collectRate and frequency |
| (subrelation requestRate frequency) | QoSontology.kif 1777-1777 | subrelation requestRate and frequency |
| (subrelation responseRate frequency) | QoSontology.kif 1770-1770 | subrelation responseRate and frequency |
| (subrelation sendRate frequency) | QoSontology.kif 2157-2157 | subrelation sendRate and frequency |
| (subrelation softwareHeartBeatRate frequency) | QoSontology.kif 917-917 | subrelation softwareHeartBeatRate and frequency |
| (termFormat ChineseLanguage frequency "频率") | chinese_format.kif 416-416 | |
| (termFormat ChineseTraditionalLanguage frequency "頻率") | domainEnglishFormat.kif 25004-25004 | |
| (termFormat EnglishLanguage frequency "frequency") | domainEnglishFormat.kif 25003-25003 |
| antecedent |
|
|
| (=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POSITION) (and (temporalPart ?POSITION ?TIME2) (holdsDuring ?POSITION (exists (?INST) (instance ?INST ?PROC)))))))) |
Merge.kif 7827-7837 |
| consequent |
|
|
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (member ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q)) |
Mid-level-ontology.kif 30707-30714 |
|
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q)) |
Mid-level-ontology.kif 30716-30723 | |
| (=> (periodicPayment ?Account ?Amount ?Period) (exists (?Payment) (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (frequency ?Payment ?Period)))) |
FinancialOntology.kif 742-749 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners