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

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