TreeView 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 7914-7915
(documentation frequency JapaneseLanguage "(frequency ?PROC ?TIME) とは、Process の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。")	japanese_format.kif 1414-1415
(domain frequency 2 TimeDuration)	Merge.kif 7912-7912	frequency の数値 2 引数は時間分の instance では %n
(domainSubclass frequency 1 Process)	Merge.kif 7911-7911	frequency の数値 1 引数は工程のsubclass では %n
(instance frequency BinaryPredicate)	Merge.kif 7910-7910	frequency は 2進述語の instance では %n

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	collectRate は frequency の subrelation では %n
(subrelation requestRate frequency)	QoSontology.kif 1772-1772	requestRate は frequency の subrelation では %n
(subrelation responseRate frequency)	QoSontology.kif 1765-1765	responseRate は frequency の subrelation では %n
(subrelation sendRate frequency)	QoSontology.kif 2152-2152	sendRate は frequency の subrelation では %n
(subrelation softwareHeartBeatRate frequency)	QoSontology.kif 919-919	softwareHeartBeatRate は frequency の subrelation では %n
(termFormat ChineseLanguage frequency "频率")	chinese_format.kif 416-416
(termFormat ChineseTraditionalLanguage frequency "頻率")	domainEnglishFormat.kif 25009-25009
(termFormat EnglishLanguage frequency "frequency")	domainEnglishFormat.kif 25008-25008
(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 7917-7927

工程は時間分ごとに occurs %n{ない}
時間間隔
- 時間間隔の duration は時間分では %n
- 時間位置時間位置は時間間隔の part では %n エンティティーエンティティーは工程の instance では %n は時間位置の during holds %n{ない}

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 31316-31323	memberMeasure セット, MeasurementAttribute and 時間分セットはセットの instance では %n AutonomousAgent はセットの element %n 工程は工程の instance では %n AutonomousAgent は工程の agent では %n 工程は時間分ごとに occurs %n{ない}
(=> (and (memberMeasure ?S Frequency ?Q) (instance ?S Class) (instance ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q))	Mid-level-ontology.kif 31325-31332	memberMeasure クラス, Frequency and 時間分クラスはクラスの instance では %n AutonomousAgent はクラスの instance では %n 工程は工程の instance では %n AutonomousAgent は工程の agent では %n 工程は時間分ごとに occurs %n{ない}
(=> (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	sheddingLeaves 植物 and PlantLeaf 植物は DeciduousTree の instance では %n PlantLeaf は PlantLeaf の instance では %n 工程工程工程は除却の subclass では %n 工程は YearDuration ごとに occurs %n{ない} 工程は工程の instance では %n 工程は植物から originates %n{ない} PlantLeaf は工程の patient では %n
(=> (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	periodicPayment FinancialAccount, 通貨測定 and 時間分金融取引工程金融取引は Payment の instance では %n 金融取引は CurrencyFn FinancialAccount から originates %n{ない} transactionAmount 金融取引 and 通貨測定金融取引は工程の instance では %n 工程は時間分ごとに occurs %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: