TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1929-1931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2726-2730
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 556-559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2723-2723	域在感興趣的範圍內, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2724-2724	域在感興趣的範圍內, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2721-2721	例在感興趣的範圍內 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2722-2722	例在感興趣的範圍內 and 有意圖的關係

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	english_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.	french_format.kif 88-88
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 148-148
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1915-1915
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 40-40
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 94-94
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 187-187
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 107-107
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 300-300
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26943-26943	子關係 approves and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2809-2809	子關係相信 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2799-2799	子關係考慮 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2786-2786	子關係慾望 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7438-7438	子關係不贊成 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7422-7422	子關係不喜歡 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2451-2451	子關係 enemy and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7367-7367	子關係享受 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2824-2824	子關係知道 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2750-2750	子關係需求 and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2844-2844	子關係 says and 在感興趣的範圍內
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2763-2763	子關係想要 and 在感興趣的範圍內

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18343-18358	等於 Organization and DepartmentOfFn Organization and Physical 子組織 Organization and Organization 等於 Organization and Organization 例 Entity and Physical 在感興趣的範圍內 Organization and Entity 等於 RealNumber and 可能性 agent entity and Organization 等於 entity and 可能性 agent entity and Organization 比較多 RealNumber and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2740-2746	在感興趣的範圍內 CognitiveAgent and Entity Process 例 Process and IntentionalProcess agent Process and CognitiveAgent 患者 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2659-2663	CrossFunctionalTeam works 在 Entity 會員 CognitiveAgent and CrossFunctionalTeam 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 2371-2377	例 CognitiveAgent and 政治壓力集團關注的區域是 CognitiveAgent 的 organizational 目標例 AutonomousAgent and 政府組織關注的區域是 AutonomousAgent 的 organizational 目標在感興趣的範圍內 CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	例 Collection and 一群人會員 CognitiveAgent and Collection 會員 Physical and Collection 例 Physical and 人類寶貝例 CognitiveAgent and 人類成人例 Entity and Crib 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2732-2738	例 Process and IntentionalProcess agent Process and CognitiveAgent 例 CognitiveAgent and CognitiveAgent 患者 Process and Entity 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2677-2682	例 Entity and 有意圖的關係 Entity CognitiveAgent and @ROW 在列表中 Entity and 名單 @ROW 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	例 entity_COLL and Collection 例 entity_COLL and Collection 例試驗 and 試驗例 CognitiveAgent and CognitiveAgent agent 試驗 and CognitiveAgent entity_COLL 是 entity_COLL 的 sample 對於試驗 Attribute 例 Attribute and Attribute 屬性 entity_COLL and Attribute 在感興趣的範圍內 CognitiveAgent and Attribute 等於 Attribute and RepresentativeSample 屬性 entity_COLL and Attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1596-1603	例 Process and WatchItem 例 CognitiveAgent and AutonomousAgent 例 Entity and Object agent Process and CognitiveAgent 患者 Process and Entity 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26182-26189	attribute Object and HandicappedFriendly Attribute CognitiveAgent 例 Attribute and Disability 例 CognitiveAgent and Human attribute CognitiveAgent and Attribute 在感興趣的範圍內 CognitiveAgent and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2572-2577	Organization 是 Business 的 business 單位 Entity 例 Entity and Entity 在感興趣的範圍內 Organization and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18334-18341	等於 Organization and DepartmentOfFn Organization and Physical Process Entity agent Process and Organization 例 Entity and Physical 在感興趣的範圍內 Organization and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2618-2628	例 Collection and CrossFunctionalTeam Entity 例 Entity and Entity CognitiveAgent 例 CognitiveAgent and Human 會員 CognitiveAgent and Collection 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	例 Collection and CrossFunctionalTeam Process AutonomousAgent, AutonomousAgent and Entity 子類 Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Human 會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection 有技巧 Process and AutonomousAgent 有技巧 Process and AutonomousAgent 例 Entity and Process 在感興趣的範圍內 Collection and Entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2215-2224	例 Physical and DataWarehouse 有目的 Physical and entity 例 entity and AutonomousAgent entity 在感興趣的範圍內 entity and entity 零件 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26495-26501	例 Entity and GrabBar 模態屬性 entity attribute entity and PhysicalDisability 在感興趣的範圍內 entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27001-27007	例 Entity and 安全部門模態屬性 entity 例 entity and SurveillanceSystem 在感興趣的範圍內 Entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Dining.kif 810-817	CognitiveAgent 是個 potential customer 對於 AutonomousAgent Entity Process 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity 在感興趣的範圍內 CognitiveAgent and Entity

appearance as argument number 0

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

Government.kif 3537-3537

在感興趣的範圍內國際水文組織 and 世界海洋

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

KB Term:			Term intersection

English Word: