No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4118-4120 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4116-4116 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4115-4115 |
TieRod e' uma sub-classe de Rod |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4121-4121 |
typicalPart TieRod and Automobile |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4122-4122 |
typicallyContainsPart TieRod and Automobile |