No TPTP formula. May not be expressible in strict first order. |
naics.kif 11596-11596 |
所有其他旅客住宿 是 其他旅客住宿 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11590-11590 |
住宿加早餐旅馆 是 其他旅客住宿 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43596-43596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43595-43595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43594-43594 |
|