AirIntake |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 962-963 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 960-960 | AirIntake 是 管 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 961-961 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 973-983 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 965-971 |