![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4677-4681 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4675-4675 | 子屬性 農業機械設備製造業 and 農具製造業 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23314-23314 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23313-23313 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23312-23312 |
![]() |
![]() |