No TPTP formula. May not be expressible in strict first order. |
naics.kif 11166-11168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11173-11173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10054-10054 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11172-11172 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11174-11174 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11164-11164 |
HomesForTheElderly e' um sub-atributo de CommunityCareFacilitiesForTheElderly |