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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 频率 的 2 数量 是 持续时间instance
(domainSubclass frequency 1 Process) Merge.kif 7911-7911 频率 的 1 数量 是 过程subclass
(instance frequency BinaryPredicate) Merge.kif 7910-7910 频率二元谓语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 2145-2145 收集率频率subrelation
(subrelation requestRate frequency) QoSontology.kif 1772-1772 请求率频率subrelation
(subrelation responseRate frequency) QoSontology.kif 1765-1765 反应速度频率subrelation
(subrelation sendRate frequency) QoSontology.kif 2152-2152 发送率频率subrelation
(subrelation softwareHeartBeatRate frequency) QoSontology.kif 919-919 心跳率频率subrelation
(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


    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
            (duration ?TIME2 ?TIME1)
            (exists (?POSITION)
                    (temporalPart ?POSITION ?TIME2)
                    (holdsDuring ?POSITION
                        (exists (?INST)
                            (instance ?INST ?PROC))))))))
Merge.kif 7917-7927


        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 31316-31323
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency Process ?Q))
Mid-level-ontology.kif 31325-31332
        (sheddingLeaves ?T ?L)
        (instance ?T DeciduousTree)
        (instance ?L PlantLeaf))
    (exists (?SHED ?S)
            (subclass ?SHED Removing)
            (frequency ?SHED YearDuration)
            (instance ?S ?SHED)
            (origin ?S ?T)
            (patient ?S ?L))))
Geography.kif 6393-6404
    (periodicPayment ?Account ?Amount ?Period)
    (exists (?Payment ?Class)
            (instance ?Payment Payment)
            (origin ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (instance ?Payment ?Class)
            (frequency ?Class ?Period))))
FinancialOntology.kif 742-750

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