Pulley - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Pulley EnglishLanguage "A grooved wheel designed to hold a Drivebelt, and transmit the force of Rotating to another Pulley.")	Cars.kif 2296-2297
(subclass Pulley DriveComponent)	Cars.kif 2294-2294	Pulley is a subclass of drive component

appearance as argument number 2

(termFormat EnglishLanguage Pulley "pulley")

Cars.kif 2295-2295

antecedent

(=>
    (instance ?P Pulley)
    (hasPurpose ?P
        (exists (?P2 ?D ?R1 ?R2)
            (and
                (instance ?P2 Pulley)
                (not
                    (equal ?P ?P2))
                (instance ?D Drivebelt)
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (connectedEngineeringComponents ?P ?D)
                (connectedEngineeringComponents ?P2 ?D)
                (patient ?R1 ?P)
                (patient ?R2 ?P2)
                (causes ?R1 ?R2)))))

Cars.kif 2299-2314

If a physical is an instance of pulley,
then the physical has the purpose there exist the physical2, another entity,, , a third entity and a fourth entity such that the physical2 is an instance of pulley and the physical is not equal to the physical2 and the other entity is an instance of drivebelt and the third entity is an instance of rotating and the fourth entity is an instance of rotating and the physical is connected to the other entity and the physical2 is connected to the other entity and the physical is a patient of the third entity and the physical2 is a patient of the fourth entity and the third entity causes the fourth entity

consequent

(=> (instance ?FB FanBelt) (hasPurpose ?FB (exists (?P1 ?P2 ?C ?A) (and (instance ?P1 Pulley) (instance ?P2 Pulley) (not (equal ?P1 ?P2)) (instance ?C Crankshaft) (instance ?A Automobile) (part ?P1 ?A) (part ?P2 ?A) (part ?C ?A) (part ?FB ?A) (connectedEngineeringComponents ?C ?P1) (connectedEngineeringComponents ?P1 ?FB) (connectedEngineeringComponents ?FB ?P2)))))	Cars.kif 2717-2734	If a physical is an instance of fan belt, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of pulley and the other entity is an instance of pulley and the entity is not equal to the other entity and the third entity is an instance of crankshaft and the fourth entity is an instance of automobile and the entity is a part of the fourth entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the physical is a part of the fourth entity and the third entity is connected to the entity and the entity is connected to the physical and the physical is connected to the other entity
(=> (instance ?P Pulley) (hasPurpose ?P (exists (?P2 ?D ?R1 ?R2) (and (instance ?P2 Pulley) (not (equal ?P ?P2)) (instance ?D Drivebelt) (instance ?R1 Rotating) (instance ?R2 Rotating) (connectedEngineeringComponents ?P ?D) (connectedEngineeringComponents ?P2 ?D) (patient ?R1 ?P) (patient ?R2 ?P2) (causes ?R1 ?R2)))))	Cars.kif 2299-2314	If a physical is an instance of pulley, then the physical has the purpose there exist the physical2, another entity,, , a third entity and a fourth entity such that the physical2 is an instance of pulley and the physical is not equal to the physical2 and the other entity is an instance of drivebelt and the third entity is an instance of rotating and the fourth entity is an instance of rotating and the physical is connected to the other entity and the physical2 is connected to the other entity and the physical is a patient of the third entity and the physical2 is a patient of the fourth entity and the third entity causes the fourth entity

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

KB Term:			Term intersection

English Word: