![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3198-3201 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3196-3196 | CarbonBlackManufacturing e' um sub-atributo de OtherBasicInorganicChemicalManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13152-13152 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13151-13151 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13150-13150 |
![]() |
![]() |