No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1624-1624 |
固定桥 是 桥 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1626-1626 |
可动桥 是 桥 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11933-11933 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11932-11932 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11931-11931 |
|