Piston
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 293-303 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 305-305 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 344-344 | A piston is typically a part of a engine cylinder |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 345-345 | A engine cylinder typically has a part piston |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3808-3808 | A piston ring is typically a part of a piston |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3809-3809 | A piston typically has a part piston ring |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1972-1980 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1606-1615 |
|