No TPTP formula. May not be expressible in strict first order. |
naics.kif 7486-7486 |
加油站和便利店 是 加油站 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7493-7493 |
其他加油站 是 加油站 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25562-25562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25561-25561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25560-25560 |
|