EngineCylinder
|
|
appearance as argument number 1 |
(documentation EngineCylinder EnglishLanguage "A single cylinder of an Engine block and its associated components.") | Cars.kif 308-309 | |
(subclass EngineCylinder Artifact) | Cars.kif 307-307 | EngineCylinder ist eine teilkategorie von Artifact |
appearance as argument number 2 |
(termFormat EnglishLanguage EngineCylinder "engine cylinder") | domainEnglishFormat.kif 64823-64823 | |
(typicalPart Piston EngineCylinder) | Cars.kif 344-344 | typicalPart Piston and EngineCylinder |
(typicallyContainsPart Piston EngineCylinder) | Cars.kif 345-345 | typicallyContainsPart Piston and EngineCylinder |
antecedent |
consequent |
(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC))))) |
Cars.kif 1051-1068 |
|
(=> (engineCylinders ?E ?N) (exists (?G ?EC) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E)))) |
Cars.kif 4531-4538 |
|
(=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC)))) |
Cars.kif 1354-1362 |
|
(=> (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 ?FSE FourStrokeEngine) (exists (?C) (and (instance ?C EngineCylinder) (part ?C ?FSE)))) |
Cars.kif 107-112 |
|