No TPTP formula. May not be expressible in strict first order. |
naics.kif 1296-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8433-8433 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9096-9096 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9097-9097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9098-9098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9099-9099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9100-9100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9101-9101 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1294-1294 |
ConcreteContractors e' um sub-atributo de SpecialTradeContractors |