No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5036-5036 |
VehicleSeat 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3432-3432 |
汽车轮胎 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4765-4765 |
单板 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2633-2633 |
集水区 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15910-15910 |
可穿戴物品 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 326-326 |
WetBar 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3373-3373 |
轮 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15170-15170 |
窗口 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15211-15211 |
窗帘 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3607-3607 |
线 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1048-1048 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1307-1307 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 726-726 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 257-257 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2410-2410 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 678-678 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 296-296 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 747-747 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 261-261 |
|