| 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 7818-7819 | |
| (domain frequency 2 TimeDuration) | Merge.kif 7816-7816 | |
| (domainSubclass frequency 1 Process) | Merge.kif 7815-7815 | |
| (instance frequency BinaryPredicate) | Merge.kif 7814-7814 |
| 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 requestRate frequency) | QoSontology.kif 1777-1777 | |
| (subrelation responseRate frequency) | QoSontology.kif 1770-1770 | |
| (subrelation sendRate frequency) | QoSontology.kif 2157-2157 | |
| (subrelation softwareHeartBeatRate frequency) | QoSontology.kif 917-917 | |
| (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 7821-7831 |
| 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 30703-30710 | |
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency ?P ?Q)) |
Mid-level-ontology.kif 30712-30719 | |
| (=> (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