TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2515-2515	不相交的關係結果 and 儀器
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2551-2551	域結果, 1 and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2552-2552	域結果, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2549-2549	例結果 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2550-2550	例結果 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2548-2548	子關係結果 and 患者

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2513-2513	不相交的關係資源 and 結果
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 73-73

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12466-12473	例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間開始何時 Process and 部分 Object and Entity 持有期間結束何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	actedIn Human and 內容承載物理例 Process and 戲劇表演患者 Process and Human 結果 Process and 內容承載物理持有期間何時 Process and attribute Human and Actor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and ArtWork 持有期間何時 Process and attribute AutonomousAgent and Artist
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20734-20743	Human directed MotionPicture 例 Process and 電影製作例 AutonomousAgent and Organization Human 是 AutonomousAgent 的 leader agent Process and AutonomousAgent 結果 Process and MotionPicture 持有期間何時 Process and attribute Human and 電影導演
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	採用 AutonomousAgent and CognitiveAgent 例 Process and DoNetworkMessaging 結果 Process and Object attribute Object and NSFW 例 Process and Seeing 患者 Process and Object agent Process and CognitiveAgent 模態屬性 entity 原因 Process and entity CognitiveAgent suffers 從 entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	採用 AutonomousAgent and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 例 Process and DoNetworkMessaging 結果 Process and Object attribute Object and NSFW agent Process and CognitiveAgent 例 Process and Seeing 患者 Process and Object agent Process and CognitiveAgent 模態屬性 CognitiveAgentROC 原因 Process and CognitiveAgentROC CognitiveAgent suffers 從 CognitiveAgentROC and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12828-12832	例 Process and Constructing 結果 Process and Entity 例 Entity and StationaryArtifact
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 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20415-20420	例 Process and 模仿資源 Process and Object 結果 Process and Object 複製 Object and Object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	例 Process and Creation 結果 Process and Proposition 例 Proposition and Proposition agent Process and CognitiveAgent CognitiveAgent authored Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 結果 Process and Entity 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理例內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間未來何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 690-694	例 Process and 發展大規模殺傷性武器結果 Process and Entity 例 Entity and 大規模殺傷性武器
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12547-12556	例 Object and ElementalSubstance 例 Object and ElementalSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity 例 Entity and CompoundSubstance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	例 Process and 運營計劃結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition 例 Proposition and 運作計劃
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10840-10848	例 Process and Planning 結果 Process and 內容承載物理例內容承載物理 and ContentBearingObject Proposition 例 Proposition and Plan 包含信息內容承載物理 and Proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3794-3798	例 Process and 試驗結果 Process and Entity 例 Entity and Formula
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	例 Process and 砍伐結果 Process and Entity EntityTEM 例 Entity and 一個 dead EntityTEM 子類 EntityTEM and PlantStem
No TPTP formula. May not be expressible in strict first order.	Food.kif 3692-3699	例 Process and Fermentation 患者 Process and Entity 例 Entity and 釀酒葡萄的 juice 結果 Process and Entity 例 Entity and 葡萄酒
No TPTP formula. May not be expressible in strict first order.	WMD.kif 654-660	例 Object and 核武器生產設施例 Process and 發展大規模殺傷性武器 Process 是 located 在 Object 結果 Process and Entity 例 Entity and 核武器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16047-16052	例 Process and 編排結果 Process and Proposition 實現 Process and Proposition 例 Process and Dancing
No TPTP formula. May not be expressible in strict first order.	Food.kif 2687-2692	例 Process and 收穫結果 Process and Object 例 Object and Mushroom attribute 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 26329-26340	例 Process and Photocopying 患者 Process and 內容承載物理例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 內容承載物理 Proposition 結果 Process and 內容承載物理例內容承載物理 and VisualContentBearingObject 包含信息內容承載物理 and Proposition 等於 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6478-6488	例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	Integer 是 Organization 的 year 資金 Process IntegerEAR 暫時重疊何時 Process and IntegerEAR 例 IntegerEAR and 年 Integer 例 Process and 創建結果 Process and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20752-20758	actedIn Human and 內容承載物理 Process 例 Process and 戲劇表演患者 Process and Human 結果 Process and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17332-17345	attribute Object and Attribute 例 Attribute and SubjectiveAssessmentAttribute TimePosition Process and AutonomousAgent 例 Process and 判斷 agent Process and AutonomousAgent 患者 Process and Object 結果 Process and attribute Object and Attribute 持有期間 TimePosition and 相信 AutonomousAgent and 屬性 Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
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.	Food.kif 994-1003	例 Process and Crushing 患者 Process and Entity 例 Entity and Object Process 結果 Process and Process 例 Process and ShapeChange 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	例 Process and Curdling 患者 Process and Substance 例 Substance and 膠體 Process Substance 例 Process and Separating 子過程 Process and Process 患者 Process and Substance 結果 Process and Substance 片 Substance and Substance 例 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8726-8736	例 Entity and 化學酸例 Entity and 化學基地例 Process and ChemicalProcess 患者 Process and Entity 患者 Process and Entity ProcessS 例 ProcessS and 鹽結果 Process and ProcessS
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19379-19392	例 Attribute and 二等色 attribute Object and Attribute Process Object, Object, Attribute and Attribute 結果 Process and Object 資源 Process and Object 資源 Process and Object attribute Object and Attribute attribute Object and Attribute 例 Attribute and PrimaryColor 例 Attribute and PrimaryColor 等於 Attribute and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 體驗者 Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 750-758	例 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.	Food.kif 1190-1205	例 Process and FoamingMilk 例 Entity and ProcessedMilk 患者 Process and Entity Process Process and Entity 例 Process and Heating 患者 Process and Entity 例 Process and 曝氣患者 Process and Entity 結果 Process and Entity 例 Entity and 氣泡期間何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	例 Process and Gaslighting agent Process and AutonomousAgent AutonomousAgent suffers 從 Process Process 例 Process and Perception 體驗者 Process and AutonomousAgent 知道 AutonomousAgent and 結果 Process and entity 是 AutonomousAgent suffers 從 Process 的 causes 提議
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 655-669	例 Object and Gene 位於 Object and Object 例 Object and Cell Process Object and Object 例 Process and BiologicalProcess Process 是 located 在 Object 起源 Process and Object 結果 Process and Object 例 Object and Nucleotide 部分 Object and Object 例 Object and RNA分子位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1012-1026	例 Process and Grinding 患者 Process and Entity 例 Entity and CorpuscularObject 持有期間結束何時 Process and entity 結果 Process and entity 例 entity and Collection entity 會員 entity and entity 部分 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6219-6228	例 HoleRegion and Laceration 例 Object and 皮膚等於 Object and 洞主持人 HoleRegion 部分 Object and Object Process 例 Process and Poking 結果 Process and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1607-1617	例 AutonomousAgent and Organization attribute AutonomousAgent and 行業屬性 Object 是行業屬性的 industry 產品類別 Process Entity 例 Process and Making 例 Entity and Object agent Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	例 Entity and ForestProduct 例 Process and Manufacture 結果 Process and Entity 患者 Process and Entity 例 Entity and Organism Process Object 例 Process and 農業結果 Process and Entity Process 是 located 在 Object 例 Object and 森林
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	例 Process and Putting 患者 Process and Entity 例 Entity and 香料目的地 Process and Object 例 Object and 已準備食物 Process Attribute 例 Process and InternalChange 患者 Process and Object 結果 Process and Attribute attribute Object and Attribute 例 Attribute and FlavourAttribute 例 Attribute and ColorAttribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2078-2091	例 CorpuscularObject and ViewItemPage 例 Process and WebListing 零件 Process and CorpuscularObject 患者 Process and Entity 例 Entity and Physical Process Process and ProcessCONTENT 例 Process and Stating 患者 Process and Process 參照 Process and Entity 結果 Process and ProcessCONTENT 部分 ProcessCONTENT and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16802-16810	例 Proposition and Plan 例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Proposition PropositionNING 例 PropositionNING and Planning 結果 PropositionNING and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	例 Proposition and Plan 例 Physical and Process 代表 Proposition and Physical PropositionNING 內容承載物理例 PropositionNING and Planning 例內容承載物理 and 內容承載物理包含信息內容承載物理 and Proposition 結果 PropositionNING and 內容承載物理早期開始何時 PropositionNING and 開始何時 Physical 早期結束何時 PropositionNING and 結束何時 Physical

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: