Crankshaft |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 336-337 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 335-335 | Crankshaft e' uma sub-classe de Shaft |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 341-341 | typicalPart Crankshaft and Crankcase |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 338-338 | typicalPart Crankshaft and IntermittentCombustionEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 342-342 | typicallyContainsPart Crankshaft and Crankcase |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 339-339 | typicallyContainsPart Crankshaft and IntermittentCombustionEngine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64716-64716 |
antecedent |
consequent |