No TPTP formula. May not be expressible in strict first order. |
naics.kif 195-197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8507-8507 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9273-9273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9277-9277 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9274-9274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9275-9275 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 193-193 |
GrapeVineyards e' um sub-atributo de NoncitrusFruitAndTreeNutFarming |