![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2372-2377 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2370-2370 | 子屬性 女裝和女孩剪裁和縫製西裝外套剪裁的夾克和裙子製造 and 婦女和女孩剪裁和縫製服裝製造業 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63339-63339 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63338-63338 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63337-63337 |
![]() |
![]() |