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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7824-7825
(domain frequency 2 TimeDuration) Merge.kif 7822-7822 domain frequency, 2 and TimeDuration
(domainSubclass frequency 1 Process) Merge.kif 7821-7821 domainSubclass frequency, 1 and Process
(instance frequency BinaryPredicate) Merge.kif 7820-7820 instance frequency and BinaryPredicate

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 collectRate and frequency
(subrelation requestRate frequency) QoSontology.kif 1777-1777 subrelation requestRate and frequency
(subrelation responseRate frequency) QoSontology.kif 1770-1770 subrelation responseRate and frequency
(subrelation sendRate frequency) QoSontology.kif 2157-2157 subrelation sendRate and frequency
(subrelation softwareHeartBeatRate frequency) QoSontology.kif 917-917 subrelation softwareHeartBeatRate and frequency
(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 7827-7837

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 30707-30714
(=>
    (and
        (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)
        (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