| 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 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners