TreeView 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 7914-7915
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 7912-7912	域頻率, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7911-7911	域子類頻率, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7910-7910	例頻率 and BinaryPredicate

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 2145-2145	子關係收集率 and 頻率
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1772-1772	子關係請求率 and 頻率
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1765-1765	子關係反應速度 and 頻率
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2152-2152	子關係發送率 and 頻率
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 919-919	子關係心跳率 and 頻率
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 416-416
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25009-25009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25008-25008
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 237-237

antecedent

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

Merge.kif 7917-7927

頻率 Process and TimeDuration
TimeInterval
- 持續時間 TimeInterval and TimeDuration
- TimePosition 時間部分 TimePosition and TimeInterval 持有期間 TimePosition and entity 例 entity and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31316-31323	memberMeasure Set, MeasurementAttribute and TimeDuration 例 Set and Set 元件 AutonomousAgent and Set 例 Process and Process agent Process and AutonomousAgent 頻率 Process and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31325-31332	memberMeasure Class, Frequency and TimeDuration 例 Class and Class 例 AutonomousAgent and Class 例 Process and Process agent Process and AutonomousAgent 頻率 Process and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	sheddingLeaves Plant and PlantLeaf 例 Plant and DeciduousTree 例 PlantLeaf and PlantLeaf Process Process 子類 Process and Removing 頻率 Process and 年持續時間例 Process and Process 起源 Process and Plant 患者 Process and PlantLeaf
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 742-750	金融賬戶是對於 TimeDuration 的 periodic 費用 CurrencyMeasure FinancialTransaction Process 例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額例 FinancialTransaction and Process 頻率 Process and TimeDuration

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

KB Term:			Term intersection

English Word: