No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1624-1624 |
子類 固定橋 and 橋 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1626-1626 |
子類 可動橋 and 橋 |
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 |
|