TreeView Knowledge Base Browser - Gearbox

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AIM9

Sigma KEE - Gearbox

Gearbox(變速器)

appearance as argument number 1

(documentation Gearbox EnglishLanguage "A device composed of several gear-trains used to change speed and torque of transmitted motion.")	engineering.kif 765-766
(externalImage Gearbox "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Helicopter_Bristol_171_Sycamore_main_gear_box_and_rotor_head.jpg")	pictureList.kif 1778-1778
(subclass Gearbox EngineeringComponent)	engineering.kif 767-767	子類變速器 and EngineeringComponent

appearance as argument number 2

(subclass AutomobileTransmission Gearbox)	Cars.kif 2345-2345	子類 AutomobileTransmission and 變速器
(subclass SteeringBox Gearbox)	Cars.kif 3971-3971	子類 SteeringBox and 變速器
(termFormat ChineseLanguage Gearbox "变速器")	domainEnglishFormat.kif 25616-25616
(termFormat ChineseTraditionalLanguage Gearbox "變速器")	domainEnglishFormat.kif 25615-25615
(termFormat EnglishLanguage Gearbox "gearbox")	domainEnglishFormat.kif 25614-25614
(typicalPart GearTrain Gearbox)	engineering.kif 768-768	齒輪系 typically 是變速器的 part

antecedent

(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))	Cars.kif 1844-1862	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))))	Cars.kif 1823-1842	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process

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