| appearance as argument number 1 |
|
| (documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the Device ?THING is the power source for the Artifact ?THING.") | Transportation.kif 1698-1700 | |
| (documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the CorpuscularObject ?GENERATOR is the power-producing component of the CorpuscularObject ?THING which provides the energy for its operation.") | Mid-level-ontology.kif 2141-2141 | |
| (domain powerComponent 1 CorpuscularObject) | Mid-level-ontology.kif 2145-2145 | |
| (domain powerComponent 1 Device) | Transportation.kif 1694-1694 | |
| (domain powerComponent 2 CorpuscularObject) | Mid-level-ontology.kif 2146-2146 | |
| (domainSubclass powerComponent 2 Artifact) | Transportation.kif 1695-1695 | |
| (instance powerComponent AsymmetricRelation) | Mid-level-ontology.kif 2143-2143 | |
| (instance powerComponent BinaryPredicate) | Mid-level-ontology.kif 2142-2142 | |
| (instance powerComponent IrreflexiveRelation) | Mid-level-ontology.kif 2144-2144 | |
| (subrelation powerComponent component) | Mid-level-ontology.kif 2147-2147 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage powerComponent "%2 %n 是 %1 的 power 组件") | domainEnglishFormat.kif 2015-2015 | |
| (format ChineseTraditionalLanguage powerComponent "%2 %n 是 %1 的 power 組件") | domainEnglishFormat.kif 2014-2014 | |
| (format EnglishLanguage powerComponent "%2 is %n a power component of %1") | domainEnglishFormat.kif 2013-2013 | |
| (termFormat ChineseLanguage powerComponent "功率元件") | domainEnglishFormat.kif 46904-46904 | |
| (termFormat ChineseTraditionalLanguage powerComponent "功率元件") | domainEnglishFormat.kif 46903-46903 | |
| (termFormat EnglishLanguage powerComponent "power component") | domainEnglishFormat.kif 46902-46902 |
| antecedent |
|
|
| (=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 2155-2159 | |
| (=> (powerComponent ?G ?O) (and (instance ?G Device) (instance ?O Artifact))) |
Mid-level-ontology.kif 2149-2153 |
| consequent |
|
|
| (=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE)))) |
Mid-level-ontology.kif 3220-3225 | |
| (=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1788-1791 | |
| (=> (instance ?UV UnpoweredVehicle) (not (exists (?P) (powerComponent ?P ?UV)))) |
Transportation.kif 1777-1781 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners