No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15352-15352	壁炉 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1625-1625	固定桥 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15320-15320	地板 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15472-15472	车库 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3083-3083	GeniusBar 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	HotelUnit 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15684-15684	工业厂房 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15705-15705	实验室 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26639-26639	Lanai 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15725-15725	军事装置 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6741-6741	矿 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6829-6829	纪念碑 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15747-15747	表演阶段 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15766-15766	表演舞台翼 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7028-7028	商业地点 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15638-15638	门廊 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24587-24587	PostalPlace 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6762-6762	监狱 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 378-378	铁轨 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 346-346	铁路 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Music.kif 21-21	RecordingStudio 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15798-15798	住宅 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15342-15342	屋顶 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15777-15777	房间 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25788-25788	RunningTrack 是 固定人工制品 的 subclass
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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