No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15353-15353	壁炉 是 固定人工制品 的 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 15321-15321	地板 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15473-15473	车库 是 固定人工制品 的 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 15685-15685	工业厂房 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15706-15706	实验室 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26651-26651	Lanai 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15726-15726	军事装置 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6742-6742	矿 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6830-6830	纪念碑 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15748-15748	表演阶段 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15767-15767	表演舞台翼 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7029-7029	商业地点 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15639-15639	门廊 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24588-24588	PostalPlace 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6763-6763	监狱 是 固定人工制品 的 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 15776-15776	住宅 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15343-15343	屋顶 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15755-15755	房间 是 固定人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25800-25800	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