No TPTP formula. May not be expressible in strict first order. |
naics.kif 11987-11987 |
CemeteriesAndCrematories e' um sub-atributo de DeathCareServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11980-11980 |
FuneralHomesAndFuneralServices e' um sub-atributo de DeathCareServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18756-18756 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18755-18755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18754-18754 |
|