Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  frequency

 Sigma KEE - frequency
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 7964-7965
(documentation frequency JapaneseLanguage "(frequency ?PROC ?TIME) とは、Process の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。") japanese_format.kif 1414-1415
(domain frequency 2 TimeDuration) Merge.kif 7962-7962 频率 的 2 数量 是 持续时间 的 instance
(domainSubclass frequency 1 Process) Merge.kif 7961-7961 频率 的 1 数量 是 过程 的 subclass
(instance frequency BinaryPredicate) Merge.kif 7960-7960 频率 是 二元谓语 的 instance

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 2251-2251 收集率 是 频率 的 subrelation
(subrelation requestRate frequency) QoSontology.kif 1878-1878 请求率 是 频率 的 subrelation
(subrelation responseRate frequency) QoSontology.kif 1871-1871 反应速度 是 频率 的 subrelation
(subrelation sendRate frequency) QoSontology.kif 2258-2258 发送率 是 频率 的 subrelation
(subrelation softwareHeartBeatRate frequency) QoSontology.kif 1025-1025 心跳率 是 频率 的 subrelation
(termFormat ChineseLanguage frequency "频率") chinese_format.kif 416-416 心跳率 是 频率 的 subrelation
(termFormat ChineseTraditionalLanguage frequency "頻率") domainEnglishFormat.kif 25038-25038 心跳率 是 频率 的 subrelation
(termFormat EnglishLanguage frequency "frequency") domainEnglishFormat.kif 25037-25037 心跳率 是 频率 的 subrelation
(termFormat tg frequency "dalas") relations-tg.txt 237-237 心跳率 是 频率 的 subrelation

antecedent
-------------------------


(=>
    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
        (=>
            (duration ?TIME2 ?TIME1)
            (exists (?POSITION)
                (and
                    (temporalPart ?POSITION ?TIME2)
                    (holdsDuring ?POSITION
                        (exists (?INST)
                            (instance ?INST ?PROC))))))))		 Merge.kif 7967-7977

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 31613-31620
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))		 Mid-level-ontology.kif 31622-31629
(=>
    (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 6368-6379
(=>
    (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 742-750


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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