No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2234-2234 |
Differential e' uma sub-classe de GearTrain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25622-25622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25621-25621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25620-25620 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 763-763 |
typicalPart Gear and GearTrain |