No TPTP formula. May not be expressible in strict first order. |
naics.kif 7363-7366 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9413-9413 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9417-9417 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9411-9411 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9415-9415 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9414-9414 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9416-9416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9412-9412 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8591-8591 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7361-7361 |
肉类市场 是 特色食品店 的 subAttribute |