TreeView 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 and 驅動組件

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

例 Physical and Pulley
有目的 Physical and Physical entity, entity and entity 例 Physical and Pulley 等於 Physical and Physical 例 entity and Drivebelt 例 entity and 旋轉例 entity and 旋轉連接的工程組件 Physical and entity 連接的工程組件 Physical and entity 患者 entity and Physical 患者 entity and Physical 原因 entity and 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	例 Physical and FanBelt 有目的 Physical and entity entity, entity and entity 例 entity and Pulley 例 entity and Pulley 等於 entity and entity 例 entity and Crankshaft 例 entity and 汽車部分 entity and entity 部分 entity and entity 部分 entity and entity 部分 Physical and entity 連接的工程組件 entity and entity 連接的工程組件 entity and Physical 連接的工程組件 Physical and 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	例 Physical and Pulley 有目的 Physical and Physical entity, entity and entity 例 Physical and Pulley 等於 Physical and Physical 例 entity and Drivebelt 例 entity and 旋轉例 entity and 旋轉連接的工程組件 Physical and entity 連接的工程組件 Physical and entity 患者 entity and Physical 患者 entity and Physical 原因 entity and 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

KB Term:			Term intersection

English Word: