No TPTP formula. May not be expressible in strict first order. |
naics.kif 353-353 |
子屬性 肉牛牧場和農業 and 肉牛牧場和農業包括飼養場 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 360-360 |
子屬性 牛飼養場 and 肉牛牧場和農業包括飼養場 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10493-10493 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10492-10492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10491-10491 |
|