Artifact - Sigma 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 15682-15683
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 15681-15681	子類 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 14356-14356	不相交的 Organism and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6991-6991	子類動物住所 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 15839-15839	子類 ArtWork and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5686-5686	子類繃帶 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 4382-4382	子類 Chain and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4424-4424	子類 ChainLink and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15939-15939	子類 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 26387-26387	子類 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 15879-15879	子類 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 16976-16976	子類遊戲神器 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26477-26477	子類 GrabBar and Artifact
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4689-4689	子類 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 15109-15109	子類階梯 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 24324-24324	域設備類型, 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 15705-15705	域子類版, 1 and Artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15706-15706	域子類版, 2 and Artifact

antecedent

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

Merge.kif 15685-15690

例 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 31018-31023	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 12817-12822	例 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 13233-13239	例 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 6858-6865	例 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 27015-27020	例 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 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 26229-26243	例 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 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: