![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Frequency(Frequency) |
| appearance as argument number 1 |
|
|
| (instance Frequency MeasurementAttribute) | Mid-level-ontology.kif 33844-33844 | Frequency is an instance of measurement attribute |
| (documentation Frequency EnglishLanguage "The Frequency of an Object is the number of time a %Process occurs in a unit of time (frequency).") | Mid-level-ontology.kif 33846-33847 | Frequency is an instance of measurement attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Frequency "Frequency") | Mid-level-ontology.kif 33849-33849 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 33862-33869 | If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y |