No TPTP formula. May not be expressible in strict first order. |
naics.kif 11064-11067 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8333-8333 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8852-8852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8853-8853 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8854-8854 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8855-8855 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11062-11062 |
救护车服务 是 其他门诊医疗服务 的 subAttribute |