| 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 7950-7951 | |
| (documentation frequency JapaneseLanguage "(frequency ?PROC ?TIME) とは、Process の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。") | japanese_format.kif 1414-1415 | |
| (domain frequency 2 TimeDuration) | Merge.kif 7948-7948 | |
| (domainSubclass frequency 1 Process) | Merge.kif 7947-7947 | |
| (instance frequency BinaryPredicate) | Merge.kif 7946-7946 |
| 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 2145-2145 | |
| (subrelation requestRate frequency) | QoSontology.kif 1772-1772 | |
| (subrelation responseRate frequency) | QoSontology.kif 1765-1765 | |
| (subrelation sendRate frequency) | QoSontology.kif 2152-2152 | |
| (subrelation softwareHeartBeatRate frequency) | QoSontology.kif 919-919 | |
| (termFormat ChineseLanguage frequency "频率") | chinese_format.kif 416-416 | |
| (termFormat ChineseTraditionalLanguage frequency "頻率") | domainEnglishFormat.kif 25043-25043 | |
| (termFormat EnglishLanguage frequency "frequency") | domainEnglishFormat.kif 25042-25042 | |
| (termFormat tg frequency "dalas") | relations-tg.txt 237-237 |
| antecedent |
|
|
| (=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POSITION) (and (temporalPart ?POSITION ?TIME2) (holdsDuring ?POSITION (exists (?INST) (instance ?INST ?PROC)))))))) |
Merge.kif 7953-7963 |
| 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 31581-31588 | |
| (=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 31590-31597 | |
| (=> (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 6393-6404 | |
| (=> (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 742-750 |
|
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