FishingSport
|
|
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 是 设备 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4130-4130 | TieRod 是 Rod 的 subclass |
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 |