frequency - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2691-2692
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7984-7985
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1414-1415
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7982	The number 2 argument of frequency is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7981-7981	The number 1 argument of frequency is a subclass of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7980-7980	frequency is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 415-415
No TPTP formula. May not be expressible in strict first order.	english_format.kif 421-421
No TPTP formula. May not be expressible in strict first order.	french_format.kif 242-242
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 113-113
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2036-2036
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 194-194
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 539-539
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 153-153
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 263-263
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 262-262
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 236-236
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2277-2277	collect rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1903-1903	request rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1896-1896	response rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2284-2284	send rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1028-1028	heart beat rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 416-416	heart beat rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25037-25037	heart beat rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25036-25036	heart beat rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 165-165	heart beat rate is a subrelation of frequency
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 237-237	heart beat rate is a subrelation of frequency

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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: