TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3035-3036
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11401-11403
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1803-1804
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2983-2983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11399-11399	子類 Putting and Transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12349	相關的內部概念 Attaching and Putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10894-10894	相關的內部概念 Increasing and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17993-17993	子類掩埋 and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5485-5485	子類隱瞞 and Putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11414	子類 Covering and Putting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 676-676	子類部署大規模殺傷性武器 and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19614-19614	子類稀釋 and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5500-5500	子類調味料 and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18037-18037	子類埋葬 and Putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11420-11420	子類插入 and Putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17887-17887	子類安裝 and Putting
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2994-2994	子類 Lubricating and Putting
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2577-2577	子類種植 and Putting
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2923-2923	子類淤積 and Putting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12747-12747	子類 Wetting and Putting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1122-1122
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1461-1461
No TPTP formula. May not be expressible in strict first order.	french_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 335-335
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2484-2484
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 752-752
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 337-337
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 371-371

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

WMD.kif 581-581

梭曼 biochemical 病毒解毒製劑吡啶斯的明溴化物對於 Putting

antecedent

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.	Merge.kif 11405-11412	例 Process and Putting 目的地 Process and Entity 患者 Process and Entity 持有期間開始何時 Process and 位於 Entity and Entity 持有期間結束何時 Process and 位於 Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12178-12188	例 Process and Keeping agent Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Putting agent Process and AutonomousAgent 患者 Process and Entity 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	attribute Object and Valet 有目的 Object and 例 entity and 車輛例 entity and Putting 目的地 entity and entity 例 entity and ParkingRegion 患者 entity and entity agent entity and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	DiseaseOrSyndrome 是對於 Process 的 disease 治癒桿菌肽例 DiseaseOrSyndrome and 細菌性疾病子類 Process and Putting
No TPTP formula. May not be expressible in strict first order.	Food.kif 84-94	例 Process and CuringFood Entity Process and Entity 例 Entity and Food 患者 Process and Entity 例 Process and Putting 子過程 Process and Process 例 Entity and 鹽患者 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3356-3366	例 Physical and 顯示神器有目的 Physical and entity entity and entity 例 entity and Putting 例 entity and Disseminating 例 entity and ContentBearingObject 患者 entity and entity 患者 entity and entity 目的地 entity and Physical
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	例 Process and 提供大規模殺傷性武器 Process Entity and Entity 例 Process and Putting 子過程 Process and Process 例 Entity and 大規模殺傷性武器例 Entity and Weapon 例 Entity and 大規模殺傷性武器患者 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	例 Entity and 可預防的疾病 Entity Entity and Process 例 Entity and Vaccine 例 Process and Putting 目的地 Process and Entity 例 Entity and Human 模態屬性持有期間未來何時 Process and attribute Entity and Entity and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3020-3028	例 Physical and GreaseFitting 有目的 Physical and entity entity 例 entity and Grease 例 entity and Putting 路徑 entity and Physical objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3036-3044	例 Physical and GreaseGun 有目的 Physical and entity entity 例 entity and Grease 例 entity and Putting 儀器 entity and Physical objectTransferred entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4642-4651	例 Process and OrganTransplant Entity Object and Transfer 例 Entity and Animal 例 Object and Organ 例 Transfer and Putting 子過程 Transfer and Process objectTransferred Transfer and Object 目的地 Transfer and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	例 Object and SparklingWater Process Entity and Object 例 Process and Putting 例 Entity and 飲用水目的地 Process and Object 例 Object and CarbonDioxide 結果 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	例 Physical and 香料有目的 Physical and entity entity 例 entity and Putting 患者 entity and Physical 目的地 entity and entity 例 entity and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11454-11466	例 Process and Substituting Process Process, Entity, Entity and Object 例 Process and Putting 例 Process and Removing 子過程 Process and Process 子過程 Process and Process 患者 Process and Entity 起源 Process and Object 患者 Process and Entity 目的地 Process and Object 等於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3669-3676	例 Entity and ATM插槽 Process Entity 例 Process and Putting 患者 Process and Entity 例 Entity and 銀行卡目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4875-4885	例 Physical and TireChanger 有目的 Physical and entity entity and entity 例 entity and Putting 例 entity and Tire 例 entity and WheelRim 目的地 entity and entity objectTransferred entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26739-26748	例 Physical and Easel 有目的 Physical and entity entity 例 entity and Artifact attribute entity and 平面例 entity and Putting 患者 entity and entity 目的地 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26719-26732	例 Physical and Tripod 有目的 Physical and entity entity and entity 例 entity and Artifact 例 entity and Putting 患者 entity and entity 目的地 entity and Physical 例 entity and Process 儀器 entity and entity 之前結束何時 entity and 開始何時 entity

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: