NuclearWeaponProductionFacility
|
|
appearance as argument number 1 |
(documentation AutomobileMuffler EnglishLanguage "A part of an AutomobileExhaustSystem that serves to reduce the amount of noise transmitted from the Engine to the environment.") | Cars.kif 2615-2617 | |
(subclass AutomobileMuffler Device) | Cars.kif 2613-2613 | AutomobileMuffler 是 设备 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage AutomobileMuffler "muffler") | Cars.kif 2614-2614 |
consequent |
(=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E))))) |
Cars.kif 2629-2645 |
|
(=> (instance ?T Tailpipe) (hasPurpose ?T (exists (?M) (and (instance ?M AutomobileMuffler) (connectedEngineeringComponents ?M ?T))))) |
Cars.kif 4038-4044 |