TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3579-3579
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15704-15705
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10433-10433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10435-10435
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9891-9891
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10434-10434
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15703-15703	子類 Artifact and Object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3388-3388	不相交的天然衛星 and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14378-14378	不相交的 Organism and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6990-6990	子類動物住所 and Artifact
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1609-1609	子類盔甲 and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15861-15861	子類 ArtWork and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5685-5685	子類繃帶 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4049-4049	子類 BedFrame and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4122-4122	子類 BedLinen and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4741-4741	子類板或塊 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4250-4250	子類船甲板 and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4390-4390	子類 Chain and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4432-4432	子類 ChainLink and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15961-15961	子類 Device and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3353-3353	子類顯示神器 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26375-26375	子類 Document and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 307-307	子類 EngineCylinder and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	子類 Fabric and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3690-3690	子類家具 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16975-16975	子類遊戲神器 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26465-26465	子類 GrabBar and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4697-4697	子類 InteriorVehicleEquipment and Artifact
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5701-5701	子類引河 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15108-15108	子類階梯 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1501-1501	子類桅杆 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4029-4029	子類 Mattress and Artifact

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.	engineering.kif 1205-1205	域 engineers, 2 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24323-24323	域設備類型, 1 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1735-1735	域功率元件, 2 and Artifact
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3925-3925	域 thirdPartyProduct, 1 and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15727-15727	域子類版, 1 and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15728-15728	域子類版, 2 and Artifact

antecedent

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

Merge.kif 15707-15712

例 Entity and Artifact
Process 例 Process and Making 結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31006-31011	memberMeasure Class, MeasurementAttribute and Quantity 例 Class and Class 例 Entity and Class 例 Entity and Artifact
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	attribute Object and 生產平均值有目的 Object and entity entity 例 entity and Making Object 是事件 entity 的 involved 結果 entity and Object 例 entity and Artifact 結果 entity and entity 有目的 entity and entity 例 entity and Selling 患者 entity and entity entity 例 entity and 商業服務 Object 是事件 entity 的 involved
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12839-12844	例 Process and Making Entity 例 Entity and Artifact 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13232-13238	例 Physical and 藍圖有目的 Physical and entity 例 entity and Artifact 代表 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6857-6864	例 Physical and 作坊有目的 Physical and entity entity 例 entity and Making 結果 entity and entity 例 entity and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4607-4620	例 Physical and 條編有目的 Physical and PhysicalICK entity, PhysicalARP and PhysicalEFT 例 PhysicalICK and 條編材料患者 Physical and PhysicalICK 部分 PhysicalARP and PhysicalICK 部分 PhysicalEFT and PhysicalICK 橫斷 PhysicalARP and PhysicalEFT 等於 PhysicalARP and PhysicalEFT 結果 Physical and entity 例 entity and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	例 Physical and 織有目的 Physical and entity entity, entity and entity 例 entity and Substance attribute entity and 易彎的患者 Physical and entity 部分 entity and entity 部分 entity and entity 等於 entity and entity 方位 entity, entity and 直角結果 Physical and entity 例 entity and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27003-27008	例 Process and ArtifactMediatedCommunication Object 例 Object and Artifact 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26727-26736	例 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 26217-26231	例 Physical and MultimediaProjector 有目的 Physical and entity entity and entity 例 entity and RadiatingLight 儀器 entity and Physical 患者 entity and entity 例 entity and 視頻錄製例 entity and Image 目的地 entity and entity 例 entity and Artifact attribute entity and 平面連接的 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26707-26720	例 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: