![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9068-9071 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9066-9066 | 子屬性 電纜和其他程序分發 and 有線網絡和程序分發 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12583-12583 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12582-12582 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12581-12581 |
![]() |
![]() |