frequency |
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 7914-7915 | |
(documentation frequency JapaneseLanguage "(frequency ?PROC ?TIME) とは、Process の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。") | japanese_format.kif 1414-1415 | |
(domain frequency 2 TimeDuration) | Merge.kif 7912-7912 | O argumento numero 2 de frequency e' uma instancia de Duracao Temporal |
(domainSubclass frequency 1 Process) | Merge.kif 7911-7911 | O argumento numero 1 de frequency e' uma sub-classe de Processo |
(instance frequency BinaryPredicate) | Merge.kif 7910-7910 | frequency e' uma instancia de Predicado Binario |
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 | |
(format FrenchLanguage frequency "%1 %n{ne} se produit %n{pas} tous les %2") | french_format.kif 242-242 | |
(format ItalianLanguage frequency "%1 ricorre ogni %2") | relations-it.txt 113-113 | |
(format JapaneseLanguage frequency "%1 は %2 ごとに occur%p{s} %n{ない}") | japanese_format.kif 2036-2036 | |
(format PortugueseLanguage frequency "%1 %n{nao} ocorre %n todos os %2") | portuguese_format.kif 194-194 | |
(format de frequency "%1 gescheit alle %2") | relations-de.txt 539-539 | |
(format hi frequency "%1 pratyeka %2 men hotaa hai") | relations-hindi.txt 153-153 | |
(format ro frequency "%1 %n{nu} occur%t{apare} în fiecare %2") | relations-ro.kif 263-263 | |
(format sv frequency "%1 inträffar %n{inte} varje %2") | relations-sv.txt 262-262 | |
(format tg frequency "%1 nangyayari tuwi %2") | relations-tg.txt 236-236 | |
(subrelation collectRate frequency) | QoSontology.kif 2145-2145 | collectRate e' uma sub-relacao de frequency |
(subrelation requestRate frequency) | QoSontology.kif 1772-1772 | requestRate e' uma sub-relacao de frequency |
(subrelation responseRate frequency) | QoSontology.kif 1765-1765 | responseRate e' uma sub-relacao de frequency |
(subrelation sendRate frequency) | QoSontology.kif 2152-2152 | sendRate e' uma sub-relacao de frequency |
(subrelation softwareHeartBeatRate frequency) | QoSontology.kif 919-919 | softwareHeartBeatRate e' uma sub-relacao de frequency |
(termFormat ChineseLanguage frequency "频率") | chinese_format.kif 416-416 | |
(termFormat ChineseTraditionalLanguage frequency "頻率") | domainEnglishFormat.kif 25009-25009 | |
(termFormat EnglishLanguage frequency "frequency") | domainEnglishFormat.kif 25008-25008 | |
(termFormat tg frequency "dalas") | relations-tg.txt 237-237 |
antecedent |
(=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POSITION) (and (temporalPart ?POSITION ?TIME2) (holdsDuring ?POSITION (exists (?INST) (instance ?INST ?PROC)))))))) |
Merge.kif 7917-7927 |
|
consequent |