![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 513-515 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 511-511 | 森林苗圃和林产品采集 是 林业和伐木业 的 subAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24698-24698 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24697-24697 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24696-24696 |
![]() |
![]() |