No TPTP formula. May not be expressible in strict first order. |
naics.kif 11982-11985 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3083-3083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3084-3084 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2954-2954 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11980-11980 |
FuneralHomesAndFuneralServices e' um sub-atributo de DeathCareServices |