AirIntake
|
|
appearance as argument number 1 |
(documentation AirIntake EnglishLanguage "A Tube that channels Air on a path ultimately into an Engine.") | Cars.kif 962-963 | |
(subclass AirIntake Tube) | Cars.kif 960-960 | Air intake is a subclass of tube |
appearance as argument number 2 |
(termFormat EnglishLanguage AirIntake "air intake") | Cars.kif 961-961 |
antecedent |
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A))))) |
Cars.kif 973-983 |
|
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A))))) |
Cars.kif 965-971 |
|