| appearance as argument number 1 |
|
| (instance powerComponent BinaryPredicate) | Mid-level-ontology.kif 2214-2214 | power component is an instance of binary predicate |
| (domain powerComponent 1 Device) | Mid-level-ontology.kif 2215-2215 | The number 1 argument of power component is an instance of device |
| (domain powerComponent 2 Artifact) | Mid-level-ontology.kif 2216-2216 | The number 2 argument of power component is an instance of artifact |
| (subrelation powerComponent component) | Mid-level-ontology.kif 2217-2217 | power component is a subrelation of component |
| (documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the Device ?GENERATOR is the power source for the Artifact ?THING.") | Mid-level-ontology.kif 2219-2221 | power component is a subrelation of component |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage powerComponent "%2 is %n a power component of %1") | domainEnglishFormat.kif 2017-2017 | |
| (format ChineseTraditionalLanguage powerComponent "%2 %n 是 %1 的 power 組件") | domainEnglishFormat.kif 2018-2018 | |
| (format ChineseLanguage powerComponent "%2 %n 是 %1 的 power 组件") | domainEnglishFormat.kif 2019-2019 | |
| (termFormat EnglishLanguage powerComponent "power component") | domainEnglishFormat.kif 46999-46999 | |
| (termFormat ChineseTraditionalLanguage powerComponent "功率元件") | domainEnglishFormat.kif 47000-47000 | |
| (termFormat ChineseLanguage powerComponent "功率元件") | domainEnglishFormat.kif 47001-47001 |
| antecedent |
|
|
| (=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 2223-2227 | If X is a power component of Y and X is an instance of device, then X is an instance of self powered device |
| consequent |
|
|
| (=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE)))) |
Mid-level-ontology.kif 3235-3240 | If X is an instance of self powered device, then there exists Y such that Y is an instance of device and X is a power component of Y |
| (=> (instance ?UV UnpoweredVehicle) (not (exists (?P) (powerComponent ?P ?UV)))) |
Transportation.kif 1942-1946 | If X is an instance of unpowered vehicle, then there doesn't exist Y such that X is a power component of Y |
| (=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1953-1956 | If X is an instance of powered vehicle, then there exists Y such that X is a power component of Y |
|
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