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(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	A crankshaft is typically a part of a crankcase
(typicallyContainsPart Crankshaft Crankcase)	Cars.kif 342-342	A crankcase typically has a part crankshaft

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 integer is an instance of engine cylinder and a hole is an instance of crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer and the physical is located at the integer holds during the process and equal the integer and the host of the hole the hole and the process is located at the integer, 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 two stroke intake and an object is an instance of crankcase and the process is partly located at the object, then partial vacuum 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 integer is an instance of engine, then there exists a hole such that the hole is an instance of crankcase and equal the integer 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 positive crankcase ventilation valve, 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 combustion chamber 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 the object transferred in the fourth entity is 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