Rod
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4117-4118 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4115-4115 | Rod is a subclass of device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4130-4130 | Tie rod is a subclass of rod |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4116-4116 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4126-4128 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4120-4124 |
|