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 7824-7825
(domain frequency 2 TimeDuration) Merge.kif 7822-7822 频率 的 2 数量 是 持续时间instance
(domainSubclass frequency 1 Process) Merge.kif 7821-7821 频率 的 1 数量 是 过程subclass
(instance frequency BinaryPredicate) Merge.kif 7820-7820 频率二元谓语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
(subrelation collectRate frequency) QoSontology.kif 2150-2150 收集率频率subrelation
(subrelation requestRate frequency) QoSontology.kif 1777-1777 请求率频率subrelation
(subrelation responseRate frequency) QoSontology.kif 1770-1770 反应速度频率subrelation
(subrelation sendRate frequency) QoSontology.kif 2157-2157 发送率频率subrelation
(subrelation softwareHeartBeatRate frequency) QoSontology.kif 917-917 心跳率频率subrelation
(termFormat ChineseLanguage frequency "频率") chinese_format.kif 416-416
(termFormat ChineseTraditionalLanguage frequency "頻率") domainEnglishFormat.kif 25004-25004
(termFormat EnglishLanguage frequency "frequency") domainEnglishFormat.kif 25003-25003


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


        (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
        (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)
            (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