TreeView Knowledge Base Browser - Friction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Friction

Friction(friction)

adhesive_friction, friction, grip, rubbing, traction

appearance as argument number 1

(documentation Friction EnglishLanguage "A MechanicalProcess in which mechanical energy is converted into a heat")	engineering.kif 641-642
(subclass Friction MechanicalProcess)	engineering.kif 643-643	Friction is a subclass of mechanical process

appearance as argument number 2

(termFormat ChineseLanguage Friction "摩擦")	domainEnglishFormat.kif 25041-25041
(termFormat ChineseTraditionalLanguage Friction "摩擦")	domainEnglishFormat.kif 25040-25040
(termFormat EnglishLanguage Friction "friction")	domainEnglishFormat.kif 25039-25039

antecedent

(=> (and (instance ?BP BrakePad) (instance ?BR BrakeRotor) (instance ?R Rotating) (patient ?R ?BR) (instance ?F Friction) (resource ?F ?BP) (patient ?F ?BR)) (not (patient ?R ?BP)))	Cars.kif 617-627	If an object is an instance of BrakePad and an entity is an instance of BrakeRotor and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
(=> (and (instance ?BS BrakeShoe) (instance ?BD BrakeDrum) (instance ?R Rotating) (patient ?R ?BD) (instance ?F Friction) (resource ?F ?BS) (patient ?F ?BD)) (not (patient ?R ?BS)))	Cars.kif 639-649	If an object is an instance of brake shoe and an entity is an instance of BrakeDrum and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process

consequent

(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
(=> (instance ?B BrakePad) (hasPurpose ?B (exists (?F ?BR) (and (instance ?F Friction) (resource ?F ?B) (instance ?BR BrakeRotor) (patient ?F ?BR)))))	Cars.kif 607-615	If a physical is an instance of BrakePad, then the physical has the purpose there exist an entity and the physicalR such that the entity is an instance of friction and the physical is a resource for the entity and the physicalR is an instance of BrakeRotor and the physicalR is a patient of the entity
(=> (instance ?B BrakeShoe) (hasPurpose ?B (exists (?F ?BD) (and (instance ?F Friction) (resource ?F ?B) (instance ?BD BrakeDrum) (patient ?F ?BD)))))	Cars.kif 629-637	If a physical is an instance of brake shoe, then the physical has the purpose there exist an entity and the physicalD such that the entity is an instance of friction and the physical is a resource for the entity and the physicalD is an instance of BrakeDrum and the physicalD is a patient of the entity
(=> (instance ?S WearingFrictionSurface) (hasPurpose ?S (exists (?F) (and (instance ?F Friction) (resource ?F ?S)))))	Cars.kif 588-594	If a physical is an instance of wearing friction surface, then the physical has the purpose there exists an entity such that the entity is an instance of friction and the physical is a resource for the entity
(=> (instance ?TC TireChain) (hasPurpose ?TC (exists (?V ?W ?F) (and (instance ?V RoadVehicle) (instance ?W Wheel) (part ?W ?V) (instance ?F Friction) (covers ?TC ?W) (instrument ?F ?TC)))))	Cars.kif 4456-4466	If a physical is an instance of snow chain, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of road vehicle and the other entity is an instance of wheel and the other entity is a part of the entity and the third entity is an instance of friction and the physical covers the other entity and the physical is an instrument for the third entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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