Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Artifact
Artifact(人工制品)

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 人工制品 是 客体 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3388-3388 天然卫星 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14356-14356 生物 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6991-6991 动物住所 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1609-1609 盔甲 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15839-15839 艺术品 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5686-5686 绷带 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4049-4049 BedFrame 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4122-4122 BedLinen 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4741-4741 板或块 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4250-4250 船甲板 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4382-4382 Chain 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4424-4424 ChainLink 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15939-15939 设备 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3353-3353 显示神器 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26387-26387 Document 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 EngineCylinder 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15879-15879 织品 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3690-3690 家具 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16976-16976 游戏神器 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26477-26477 GrabBar 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 4689-4689 InteriorVehicleEquipment 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 5701-5701 引河 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15109-15109 阶梯 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1501-1501 桅杆 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4029-4029 Mattress 是 人工制品 的 subclass

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 数量 是 人工制品 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24324-24324 设备类型 的 1 数量 是 人工制品 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1735-1735 功率元件 的 2 数量 是 人工制品 的 instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3925-3925 thirdPartyProduct 的 1 数量 是 人工制品 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15705-15705 版本 的 1 数量 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15706-15706 版本 的 2 数量 是 人工制品 的 subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15685-15690

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31018-31023
No TPTP formula. May not be expressible in strict first order. Economy.kif 5747-5767
No TPTP formula. May not be expressible in strict first order. Merge.kif 12817-12822
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13233-13239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6858-6865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4607-4620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4626-4640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27015-27020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26739-26748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26229-26243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26719-26732


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