No TPTP formula. May not be expressible in strict first order. |
naics.kif 430-432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8702-8702 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9644-9644 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9645-9645 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9646-9646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9647-9647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9648-9648 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9649-9649 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6204-6204 |
羊 是 养羊 的 industry 产品类别 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 428-428 |
养羊 是 绵羊和山羊养殖 的 subAttribute |