No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15901-15901 |
服装 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15880-15880 |
织品 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3583-3583 |
自动提款机 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15380-15380 |
Balcony 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1997-1997 |
屏障 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1140-1140 |
BowlingLane 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1619-1619 |
桥 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 218-218 |
电台 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15739-15739 |
建筑物 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15395-15395 |
建设水平 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20545-20545 |
BuildingUnit 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5594-5594 |
运河 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1692-1692 |
运河锁 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5607-5607 |
运河结构 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1436-1436 |
Casino 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15332-15332 |
天花板 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15033-15033 |
烟囱 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26016-26016 |
Courtyard 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15047-15047 |
抑制 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5612-5612 |
坝 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26856-26856 |
DanceHall 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15286-15286 |
门口 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22576-22576 |
教育设施 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15731-15731 |
农场 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15669-15669 |
篱笆 是 固定人工制品 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |