Crankcase - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Crankcase

Crankcase

appearance as argument number 1

(documentation Crankcase EnglishLanguage "A HoleRegion in an InternalCombustionEngine where the Piston rods join with the Crankshaft.")	Cars.kif 325-326
(subclass Crankcase HoleRegion)	Cars.kif 324-324	Crankcase is a subclass of hole

appearance as argument number 2

(termFormat EnglishLanguage Crankcase "crankcase")	domainEnglishFormat.kif 64706-64706
(typicalPart Crankshaft Crankcase)	Cars.kif 341-341	typicalPart Crankshaft and Crankcase
(typicallyContainsPart Crankshaft Crankcase)	Cars.kif 342-342	typicallyContainsPart Crankshaft and Crankcase

antecedent

(=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C))))	Cars.kif 509-521	If an object is an instance of EngineCylinder and a hole is an instance of Crankcase and a physical is an instance of Piston and a process is an instance of TwoStrokeTransfer and the physical is located at the object holds during the process and equal the object and the host of the hole the hole and event located the process and the object, then the physical has the purpose the physical partially fills the hole holds during the process
(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 477-483	If a process is an instance of TwoStrokeIntake and an object is an instance of Crankcase and event partly located the process and the object, then PartialVacuum is an attribute of the object holds during the process

consequent

(=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C)))))	Cars.kif 328-333	If an object is an instance of Engine, then there exists a hole such that the hole is an instance of Crankcase and equal the object and the host of the hole the hole
(=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV)))))	Cars.kif 3879-3895	If a physical is an instance of PositiveCrankcaseVentilationValve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of Crankcase and the other entity is an instance of Fuel and the third entity is an instance of CombustionChamber and the fourth entity is an instance of transfer and the fifth entity is an instance of Automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and objectTransferred the fourth entity and the other entity and the physical is path along which the fourth entity occurs

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