frequency - Sigma Knowledge base Browser

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 7984-7985
(documentation frequency JapaneseLanguage "(frequency ?PROC ?TIME) とは、Process の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。")	japanese_format.kif 1414-1415
(domain frequency 2 TimeDuration)	Merge.kif 7982-7982	The number 2 argument of frequency is an instance of time duration
(domainSubclass frequency 1 Process)	Merge.kif 7981-7981	The number 1 argument of frequency is a subclass of process
(instance frequency BinaryPredicate)	Merge.kif 7980-7980	frequency is an instance of binary predicate

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 2277-2277	collect rate is a subrelation of frequency
(subrelation requestRate frequency)	QoSontology.kif 1903-1903	request rate is a subrelation of frequency
(subrelation responseRate frequency)	QoSontology.kif 1896-1896	response rate is a subrelation of frequency
(subrelation sendRate frequency)	QoSontology.kif 2284-2284	send rate is a subrelation of frequency
(subrelation softwareHeartBeatRate frequency)	QoSontology.kif 1028-1028	heart beat rate is a subrelation of frequency
(termFormat ChineseLanguage frequency "频率")	chinese_format.kif 416-416	heart beat rate is a subrelation of frequency
(termFormat ChineseTraditionalLanguage frequency "頻率")	domainEnglishFormat.kif 25037-25037	heart beat rate is a subrelation of frequency
(termFormat EnglishLanguage frequency "frequency")	domainEnglishFormat.kif 25036-25036	heart beat rate is a subrelation of frequency
(termFormat de frequency "frequenz")	terms-de.txt 165-165	heart beat rate is a subrelation of frequency
(termFormat tg frequency "dalas")	relations-tg.txt 237-237	heart beat rate is a subrelation of frequency

antecedent

(=>
    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
        (=>
            (duration ?TIME2 ?TIME1)
            (exists (?POSITION)
                (and
                    (temporalPart ?POSITION ?TIME2)
                    (holdsDuring ?POSITION
                        (exists (?INST)
                            (instance ?INST ?PROC))))))))

Merge.kif 7987-7997

If a kind of process occurs every a time duration,
then for all a time interval
- if duration of the time interval is the time duration,
- then there exists a time position such that the time position is a part of the time interval and there exists an entity such that the entity is an instance of a kind of process holds during the time position

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 33020-33027	If members of a set have the measure a time duration in terms of a measurement attribute and the set is an instance of set and an agent is an element of the set and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 33029-33036	If members of a class have the measure a time duration in terms of Frequency and the class is an instance of class and an agent is an instance of the class and a process is an instance of process and the agent is an agent of the process, then process occurs every the time duration
(=> (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 6463-6474	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
(=> (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 744-752	If a financial account is periodic payment a currency measure for a time duration, then there exist a financial transaction and a kind of process such that the financial transaction is an instance of payment and the financial transaction originates at the currency of the financial account and the currency measure is a transaction amount of the financial transaction and the financial transaction is an instance of a kind of process and the kind of process occurs every the time duration

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

KB Term:			Term intersection

English Word: