| appearance as argument number 1 |
|
| (subclass AirIntake Tube) | Cars.kif 960-960 | Air intake is a subclass of tube |
| (documentation AirIntake EnglishLanguage "A Tube that channels Air on a path ultimately into an Engine.") | Cars.kif 962-963 | 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) (and (instance ?A Air) (contains ?AI ?A))))) |
Cars.kif 965-971 | If X is an instance of air intake, then X has the purpose there exists Y such that Y is an instance of air and X contains Y |
| (=> (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 | If X is an instance of air intake, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) Z is an instance of engine (4) W is an instance of transfer (5) W originates at X (6) W ends up at Z (7) Y is a patient of W |
|
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