No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1624-1624 |
FixedBridge e' uma sub-classe de Bridge |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1626-1626 |
MovableBridge e' uma sub-classe de Bridge |
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 |
|