No TPTP formula. May not be expressible in strict first order. |
naics.kif 529-529 |
FishingIndustry e' um sub-atributo de FishingHuntingAndTrapping |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 554-554 |
HuntingAndTrapping e' um sub-atributo de FishingHuntingAndTrapping |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24020-24020 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24019-24019 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24018-24018 |
|