No TPTP formula. May not be expressible in strict first order. |
naics.kif 6276-6276 |
子屬性 娃娃和毛絨玩具製造 and 娃娃玩具和遊戲製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6283-6283 |
子屬性 遊戲玩具和兒童汽車製造業 and 娃娃玩具和遊戲製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20106-20106 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20105-20105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20104-20104 |
|