![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2034-2036 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2032-2032 | 子屬性 緯編針織面料廠 and 針織面料廠 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62673-62673 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62672-62672 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62671-62671 |
![]() |
![]() |