No TPTP formula. May not be expressible in strict first order. |
naics.kif 9943-9945 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8345-8345 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8893-8893 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8894-8894 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8895-8895 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8896-8896 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9941-9941 |
ArchitecturalServices e' um sub-atributo de ArchitecturalEngineeringAndRelatedServices |