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 |