TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2079-2082
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3871-3877
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 726-730
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3866-3866	域時間, 1 and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3867-3867	域時間, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3864-3864	例時間 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3862-3862	例時間 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3863-3863	例時間 and TemporalRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3865-3865	例時間 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3869-3869	相關的內部概念時間 and 持有期間
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3868-3868	相關的內部概念時間 and 位於

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 191-191
No TPTP formula. May not be expressible in strict first order.	english_format.kif 192-192
No TPTP formula. May not be expressible in strict first order.	french_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 299-299
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1944-1944
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 244-244
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 335-335
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 134-134
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 491-491
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8546-8546	子關係日期 and 時間
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 192-192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58117-58117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58116-58116
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 77-77

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 看漲期權時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Buying 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 放選項時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Selling 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	例 Confining and 監禁 Animal 是 Confining 的拘留者例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval 被捕 TimeInterval 例 TimeInterval and TimeInterval 時間被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例被捕 and 被捕被捕被捕 and Animal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	例 Process and 再融資時間 Process and Day 例貸款 and 貸款抵押是貸款的 secured 貸款是 CognitiveAgent 的 borrower 貸款對於 %3 的 current 帳戶存款患者 Process and 貸款貸款 FinancialTransaction 例貸款 and 貸款貸款是 CognitiveAgent 的 borrower 抵押是貸款的 secured 目的地 FinancialTransaction and 貸款的 currency 時間 FinancialTransaction and Day 起源 FinancialTransaction and 貸款的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	Justice.kif 61-69	例 Process and Seeing 患者 Process and Object agent Process and AutonomousAgent 例 Object and Object 時間 Process and TimePosition 持有期間 TimePosition and 位於 Object and Object Object 是在此刻 observed 對於 TimePosition 和 Object 在地方 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12804-12810	患者 Process and Physical 時間 Physical and 結束何時 Process 時間 Physical and 開始何時 Process 例 Process and Creation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23260-23267	Object 對於 Process 在事件 CaseRole plays 角色例 Process and Process 子類 Process and Process 時間 Process and TimePosition Process 是 located 在 Object Object 對於 Process 和 TimePosition 和 Object 在事件類別 CaseRole plays 角色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23289-23296	Object 對於 Process 在事件 CaseRole plays 角色例 Process and Process 子類 Process and Process 時間 Process and TimePosition Process 是 located 在 Object Object 對於 Process 和 TimePosition 和 Object 在事件類別 CaseRole plays 角色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23312-23317	Object 對於 Process 在事件 CaseRole plays 角色時間 Process and TimePosition Process 是 located 在 Object Object 對於 Object 在時間 TimePosition located
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	Physical 由 CognitiveAgent 定的 price 根據 PricingScheme 是 FunctionQuantity 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 CurrencyMeasure 的 per 例 UnitOfMeasure and UnitOfDuration 立即實例 Entity and Physical 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 時間 Process and RealNumberINT TimeInterval RealNumber 期間 RealNumberINT and TimeInterval 例 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and CognitiveAgent agent FinancialTransaction and AutonomousAgent CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3312-3321	從 OrganizationalProcess 造成的 tax deferred income 對於 Human 是 CurrencyMeasure 時間 OrganizationalProcess and TimePosition Process 例 Process and 稅原因 OrganizationalProcess and Process 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8206-8210	時間 Physical and TimePoint 例 TimePoint and TimePoint 暫時之間或等於開始何時 Physical, TimePoint and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7974-7977	時間 Physical and TimePosition 時間部分 TimePosition and 何時 Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	TimePosition 是 Proposition 的 agreement 採用日期 Process TimePosition 例 Process and Committing 例 TimePosition and TimePosition 患者 Process and Proposition 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7960-7967	持有期間 TimePosition and entity Physical and Physical 例 Physical and Physical 例 Physical and Physical 時間 Physical and TimePosition 時間 Physical and TimePosition
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2438-2445	例 Process and ClosingGraphicalWindow 患者 Process and Physical 例 Physical and InterfaceWindow 時間 Physical and 開始何時 Physical 時間 Physical and 結束何時 Physical
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 137-146	例 Entity and 校驗例 Process and 處理檢查患者 Process and Entity Process 例 Process and 存款支票患者 Process and Entity 時間 Process and 不久的過去何時 Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 看漲期權時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Buying 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	例 Process and 執行一個選項患者 Process and 協議屬性協議 and 放選項時間 Process and TimePosition 金融工具是協議的 underlier Process 例 Process and Selling 患者 Process and 金融工具時間 Process and TimePosition 測量金融工具 and 測量 100 and ShareUnit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	例 Confining and 監禁 Animal 是 Confining 的拘留者例 Animal and Human 時間 Confining and TimeInterval 例 TimeInterval and TimeInterval 被捕 TimeInterval 例 TimeInterval and TimeInterval 時間被捕 and TimeInterval 早期 TimeInterval and TimeInterval 例被捕 and 被捕被捕被捕 and Animal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	例貸款 and 可贖回貸款 CognitiveAgent lends 貸款貸款是 CognitiveAgent 的 borrower CurrencyMeasure 是貸款的 total 存款例 Process and 呼叫 agent Process and CognitiveAgent 患者 Process and 貸款持有義務卡帕 SymbolicString and 目的地 SymbolicString and CognitiveAgent 時間 SymbolicString and 眼前的未來何時 Process CurrencyMeasure 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	例 Attribute and 職業角色 Process 是 CognitiveAgent 跟 Attribute 的 attr 的 typical action Process TimePosition, AutonomousAgent and AutonomousAgentT 例 Process and CognitiveAgent 持有期間 TimePosition and attribute Process and Attribute 例 AutonomousAgent and Process agent Process and AutonomousAgent 時間 AutonomousAgent and AutonomousAgentT 時間部分 AutonomousAgentT and TimePosition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	例 Process and 再融資時間 Process and Day 例貸款 and 貸款抵押是貸款的 secured 貸款是 CognitiveAgent 的 borrower 貸款對於 %3 的 current 帳戶存款患者 Process and 貸款貸款 FinancialTransaction 例貸款 and 貸款貸款是 CognitiveAgent 的 borrower 抵押是貸款的 secured 目的地 FinancialTransaction and 貸款的 currency 時間 FinancialTransaction and Day 起源 FinancialTransaction and 貸款的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 955-964	TimePosition 是對於 RealNumber 的 monitor 組件資料 SymbolicString TimePosition component 資料ID 對於 %3 跟 %4 和 %5 在一起測量性能例測量性能 and 測量性能 UnitOfMeasure 是電腦組件的 unit 量測性能時間測量性能 and TimePosition 測量性能是對於 RealNumber 的 performance 結果電腦組件
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 堅持正確卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 堅持正確卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3312-3321	從 OrganizationalProcess 造成的 tax deferred income 對於 Human 是 CurrencyMeasure 時間 OrganizationalProcess and TimePosition Process 例 Process and 稅原因 OrganizationalProcess and Process 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8110-8122	例 Physical and Object TimePoint TimePoint 例 TimePoint and TimePoint 例 TimePoint and TimePoint 之前 TimePoint and TimePoint TimePoint 之前或相等 TimePoint and TimePoint 之前或相等 TimePoint and TimePoint 時間 Physical and TimePoint
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2373-2380	例 Process and OpeningNewGraphicalWindow Physical 患者 Process and Physical 例 Physical and InterfaceWindow 時間 Physical and 結束何時 Process 時間 Physical and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 839-844	例 Physical and Physical Object TimePosition 位於 Physical and Object 時間 Physical and TimePosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12795-12802	例 Process and Creation Physical 患者 Process and Physical 時間 Physical and 結束何時 Process 時間 Physical and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12282-12289	例 Process and Destruction Physical 患者 Process and Physical 時間 Physical and 開始何時 Process 時間 Physical and 結束何時 Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3097-3110	例 Process and 傳播選擇 Entity Entity, Process, Process and TimePosition 例 Entity and 選項例 Entity and 選項例 Process and Buying 例 Process and Selling 子過程 Process and Process 子過程 Process and Process 患者 Process and Entity 患者 Process and Entity 時間 Process and TimePosition 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 979-984	ComputerProgram 是 TimePosition 的 monitor 申請資料電腦程序 ComputerProgram 是電腦程序的執行 program 時間電腦程序 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23280-23287	Object 對於 Process 和 TimePosition 和 Object 在事件類別 CaseRole plays 角色 Process 例 Process and Process 時間 Process and TimePosition Process 是 located 在 Object Object 對於 Process 在事件 CaseRole plays 角色
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8124-8130	結果 Process and Physical TimePoint 之前 TimePoint and 開始何時 Process 時間 Physical and TimePoint

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: