No TPTP formula. May not be expressible in strict first order. |
naics.kif 5358-5361 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10411-10411 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10410-10410 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10409-10409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9886-9886 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10414-10414 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10412-10412 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5356-5356 |
分析实验室仪器制造 是 导航测量电子医学和控制仪器制造 的 subAttribute |