No TPTP formula. May not be expressible in strict first order. |
naics.kif 7653-7653 |
子屬性 預定期刊和音樂商店 and 體育用品愛好書籍和音樂商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7620-7620 |
子屬性 體育用品愛好和樂器商店 and 體育用品愛好書籍和音樂商店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54720-54720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54719-54719 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54718-54718 |
|