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 |
Sheep is an industry product type of sheep farming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 428-428 |
Sheep farming is a subattribute of sheep and goat farming |