No TPTP formula. May not be expressible in strict first order. |
naics.kif 6201-6204 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10838-10838 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10836-10836 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9978-9978 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10837-10837 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10834-10834 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10835-10835 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6199-6199 |
牙科设备和用品制造业 是 医疗设备和用品制造业 的 subAttribute |