No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4141-4143 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4139-4139 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4138-4138 |
TieRod est une sous-classe de Rod |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4144-4144 |
typicalPart TieRod and Automobile |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4145-4145 |
typicallyContainsPart TieRod and Automobile |