![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12061-12063 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12059-12059 | One hour photofinishing is a subattribute of photofinishing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42132-42132 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42131-42131 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42130-42130 |
![]() |
![]() |