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 |
industryProductType SheepFarming and Sheep |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 428-428 |
SheepFarming e' um sub-atributo de SheepAndGoatFarming |