TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2465
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 491-495
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2455-2455	域目的地, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	域目的地, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2453-2453	例目的地 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2454-2454	例目的地 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	子關係目的地 and 參與活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	french_format.kif 69-69
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 71-71
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1895-1895
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 21-21
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 105-105
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 88-88
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 158-158
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2784-2784	子關係 target and 目的地
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19281-19281	子關係 target and 目的地
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 94-94	子關係 target and 目的地
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19280-19280	子關係 target and 目的地
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19279-19279	子關係 target and 目的地
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 29-29	子關係 target and 目的地
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 159-159	子關係 target and 目的地

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1835-1845	例 Process and 退出例金融賬戶 and 金融賬戶起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process 金融賬戶的 liqudity 是高流動性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31672-31681	Object 對於 Object between 在路徑 Object 例 Transfer and Transfer 路徑 Transfer and Object 起源 Transfer and Object 目的地 Transfer and Object beforeOnPath Object, Object, Object and Transfer beforeOnPath Object, Object, Object and Transfer
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	能力 ValetParking, agent and Organization Organization 是 CognitiveAgent 的 customer 位於 Organization and Object 例 Process and 到達 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Object Human 佔據位置 Human, Valet and Organization 模態屬性 entity entity 例 entity and ValetParking agent entity and Human 患者 entity and Entity 目的地 entity and entity 例 entity and ParkingRegion and 可能性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	目的地 Process and Object 例 Process and 訊息患者 Process and Entity 例 Object and Telex Process Entity 儀器 Process and Object 結果 Process and Entity 代表 Entity and Entity 例 Entity and Text 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 847-868	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 815-836	Physical 的使用對於 HotelFunctionRoom 是免費例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6465-6477	持有期間 TimeInterval and attribute AutonomousAgent and AVPUVerbalStatus 例 Process and 說話目的地 Process and AutonomousAgent 期間何時 Process and TimeInterval Process 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31539-31551	例 Process and Apologizing agent Process and ProcessG 目的地 Process and AutonomousAgent ProcessCT AutonomousAgent suffers 從 ProcessCT agent ProcessCT and ProcessG 持有期間何時 Process and 想要 ProcessG and ProcessCT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	例 AccessingWebPage and AccessingWebPage 例 Entity and WebPage 例 Process and 數據傳輸例 Object and 服務器例 Process and Requesting 例 AutonomousAgent and WebBrowser 例 TimeInterval and TimeInterval 患者 AccessingWebPage and Entity agent Process and AutonomousAgent 目的地 Process and Object 患者 Process and Entity 起源 Process and Object 目的地 Process and AutonomousAgent 患者 Process and Entity 子過程 Process and AccessingWebPage 子過程 Process and AccessingWebPage equal 結束何時 Process and 開始 TimeInterval equal 結束何時 Process and 結束 TimeInterval equal access 的時間在 AccessingWebPage and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	例 AutonomousAgent and AutonomousAgent CognitiveAgent 是個 potential customer 對於 AutonomousAgent 模態屬性例 entity and Reserving 目的地 entity and AutonomousAgent and 必要性條件概率 entityES1 例 entityES1 and Reservation CognitiveAgent reserves entityES1 AutonomousAgent fulfills entityES1 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 條件概率 entityES2 例 entityES2 and Reservation CognitiveAgent reserves entityES2 AutonomousAgent fulfills entityES2 , AutonomousAgent 是 CognitiveAgent 的 customer and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 761-777	例責任賬戶 and 責任賬戶責任賬戶是對於月持續時間的 minimum 費用測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Process TimeInterval 例 TimeInterval and Month 目的地 Process and 責任賬戶的 currency 責任賬戶 payments 對於 TimeInterval 每周期測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber Process 例 Process and 罰款目的地 Process and 責任賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	Music.kif 1258-1266	例 Entity and 鐘例 Process and Impacting 目的地 Process and Entity Process 例 Process and 音調原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20250-20266	例 Transfer and 遺贈 agent Transfer and AutonomousAgent 目的地 Transfer and Entity objectTransferred Transfer and AutonomousAgentROP Process 例 Process and Death 體驗者 Process and AutonomousAgent 早期何時 Process and 何時 Transfer 持有期間不久的過去何時 Process and 擁有 AutonomousAgent and AutonomousAgentROP AutonomousAgent confers 規範擁有 Entity and AutonomousAgentROP 對於允許
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity and entity 原因 Process and entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object equal Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11806-11816	例 Process and ChangeOfPossession 起源 Process and Object 目的地 Process and Entity 例 Object and AutonomousAgent 例 Entity and AutonomousAgent 患者 Process and Entity 持有期間開始何時 Process and 擁有 Object and Entity 持有期間結束何時 Process and 擁有 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23129-23134	例 Process and 契約終止 agent Process and 協議目的地 Process and CognitiveAgent 協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 173-179	例 Certificate and 支票 CognitiveAgent 是由 Certificate 的 issued 例 Process and Giving 目的地 Process and AutonomousAgent 採用 AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 552-561	例 Process and DeliveryService 目的地 Process and Entity GeographicArea 是 AutonomousAgent 的 delivery 區域條件概率位於 Entity and GeographicArea, agent Process and AutonomousAgent and RealNumber 條件概率位於 Entity and GeographicArea, agent Process and AutonomousAgent and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Dining.kif 564-569	例 Process and DeliveryService 起源 Process and Object 目的地 Process and Entity equal Object and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	例 Process and Damaging agent Process and AutonomousAgent 目的地 Process and CognitiveAgent 例 CognitiveAgent and CognitiveAgent 相信 CognitiveAgent and attribute AutonomousAgent and 危險
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25224-25230	例 Process and Driving 子過程 Process and Process 例 Process and Transportation 目的地 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11737-11742	例 Process and 落下起源 Process and Object 目的地 Process and Object 方位 Object, Object and 下面

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8894-8900	AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3653-3660	CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18239-18248	Human 的 almaMater 是中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在中學後持有期間何時 Process and attribute Human and 學生
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 489-501	agent Process and AutonomousAgent 起源 Process and Object 患者 Process and Physical 貨幣價值 Physical and CurrencyMeasure FinancialTransaction 子過程 FinancialTransaction and Process 例 FinancialTransaction and 付款 CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and AutonomousAgent 目的地 FinancialTransaction and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 657-669	金融賬戶對於 TimePosition 到期的 amount CurrencyMeasure CognitiveAgent 持有 account 金融賬戶持有義務卡帕 SymbolicString and 例 SymbolicString and 付款 CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 金融賬戶的 currency 起源 SymbolicString and 金融賬戶的 currency 日期 SymbolicString and entity 之前或相等結束 entity and 開始 TimePosition and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Music.kif 410-421	attribute Object and DemoRecording 例 Object and Recording 有目的 Object and entity entity and ObjectUSIC 例 entity and 示範 Object 是個 ObjectUSIC 的 record 患者 entity and ObjectUSIC 目的地 entity and entity 例 entity and 一群人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22218-22240	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1277-1287	貸款是 CognitiveAgent 的 borrower CognitiveAgent lends 貸款 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	能力 ValetParking, agent and Organization Organization 是 CognitiveAgent 的 customer 位於 Organization and Object 例 Process and 到達 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Object Human 佔據位置 Human, Valet and Organization 模態屬性 entity entity 例 entity and ValetParking agent entity and Human 患者 entity and Entity 目的地 entity and entity 例 entity and ParkingRegion and 可能性
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3540-3545	connectedPeripheral 電腦硬件 and 電腦例電腦硬件 and 電腦輸出設備例電腦硬件 and 電腦LASS 能力電腦LASS, 目的地 and 數據傳輸
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 對 CurrencyMeasure 收費在 corkage 為了 Object 例 Object and Object Process 例 Process and Buying 患者 Process and Object 目的地 Process and CognitiveAgent 起源 Process and AutonomousAgent 例 Process and Drinking agent Process and CognitiveAgent 資源 Process and Object Process 例 Process and Corkage agent Process and CognitiveAgent 參照 Process and Object 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2403-2418	AutonomousAgent 是 CognitiveAgent 的 customer 採用 AutonomousAgent and CognitiveAgent attribute AutonomousAgent and 旅客住宿 attribute CognitiveAgent and Porter 擁有 CognitiveAgent and Object 例 Object and 旅行集裝箱 Object Process 例 Object and HotelUnit 例 Process and 攜帶 agent Process and CognitiveAgent 目的地 Process and Object 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 809-818	CurrencyMeasure 是貸款的 down 費用 TimePoint 是貸款的 agreement 生效日期 FinancialTransaction CurrencyMeasure 是 FinancialTransaction 的 transaction 總額日期 FinancialTransaction and TimePoint 目的地 FinancialTransaction and 貸款的 currency
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1358-1369	工程子組件 EngineeringComponent and 互聯網工程子組件 EngineeringComponent and 互聯網 equal EngineeringComponent and EngineeringComponent 有目的互聯網 and entity 例 entity and Communication agent entity and EngineeringComponent 目的地 entity and EngineeringComponent 儀器 entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2551-2567	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	持有期間 TimePosition and attribute Entity and 被驅逐公民 Entity and entity_NATION 例 TimePosition and TimeInterval Process Object 例 Object and Nation equal Object and entity_NATION 例 Process and 易位起源 Process and Object 患者 Process and Entity 目的地 Process and entity_NATION 時間部分 TimePosition and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12472-12482	例 Object and 肺動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 肺目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	例 Process and Auctioning 例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 Object and Object 例 UnitOfMeasure and UnitOfCurrency 患者 Process and Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 Object 比較多 RealNumber and RealNumber 目的地 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1228-1238	例金融賬戶 and 信用賬戶金融賬戶是被金融機構 held CognitiveAgent 持有 account 金融賬戶金融賬戶是對於 %3 的賺取 interest FinancialTransaction 起源 FinancialTransaction and CognitiveAgent 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融機構
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 688-701	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額開戶例 UnitOfMeasure and UnitOfCurrency FinancialTransaction TimePoint and RealNumber 目的地 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額大於或等於 RealNumber and RealNumber TimePoint 是金融賬戶的 agreement 生效日期日期 FinancialTransaction and TimePoint
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 703-716	例金融賬戶 and 金融賬戶金融賬戶是對於測量 RealNumber and UnitOfMeasure 的 minimum 金額使用帳戶例 UnitOfMeasure and UnitOfCurrency 金融賬戶對於 %3 的 current 帳戶存款少於 RealNumber and RealNumber Process 例 Process and 罰款日期 Process and Day 目的地 Process and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 761-777	例責任賬戶 and 責任賬戶責任賬戶是對於月持續時間的 minimum 費用測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Process TimeInterval 例 TimeInterval and Month 目的地 Process and 責任賬戶的 currency 責任賬戶 payments 對於 TimeInterval 每周期測量 RealNumber and UnitOfMeasure 少於 RealNumber and RealNumber Process 例 Process and 罰款目的地 Process and 責任賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1045-1054	例金融賬戶 and 儲蓄賬戶 CognitiveAgent 持有 account 金融賬戶金融賬戶是對於 %3 的賺取 interest FinancialTransaction 目的地 FinancialTransaction and 金融賬戶的 currency 利益是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1117-1126	例金融賬戶 and 傳統儲蓄賬戶例 Process and 退出起源 Process and 金融賬戶的 currency Process 例 Process and 罰款目的地 Process and 金融賬戶的 currency 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and ApplyingTourniquet agent entity and Formula 目的地 entity and AutonomousAgent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: