No TPTP formula. May not be expressible in strict first order. |
naics.kif 362-364 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8407-8407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9034-9034 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9035-9035 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 360-360 |
CattleFeedlots e' um sub-atributo de BeefCattleRanchingAndFarmingIncludingFeedlots |