powerComponent |
appearance as argument number 1 |
(documentation powerComponent EnglishLanguage "(powerComponent ?GENERATOR ?THING) means that the Device ?GENERATOR is the power source for the Artifact ?THING.") | Mid-level-ontology.kif 1738-1740 | |
(domain powerComponent 1 Device) | Mid-level-ontology.kif 1734-1734 | Il numero 1 argomenti di powerComponent è un istanza di Dispositivo |
(domain powerComponent 2 Artifact) | Mid-level-ontology.kif 1735-1735 | Il numero 2 argomenti di powerComponent è un istanza di Manufatto |
(instance powerComponent BinaryPredicate) | Mid-level-ontology.kif 1733-1733 | powerComponent è un' istanza di PredicatoBinario |
(subrelation powerComponent component) | Mid-level-ontology.kif 1736-1736 | powerComponent è una sottorelazione di component |
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 47006-47006 | |
(termFormat ChineseTraditionalLanguage powerComponent "功率元件") | domainEnglishFormat.kif 47005-47005 | |
(termFormat EnglishLanguage powerComponent "power component") | domainEnglishFormat.kif 47004-47004 |
antecedent |
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice)) |
Mid-level-ontology.kif 1742-1746 |
|
consequent |
(=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE)))) |
Mid-level-ontology.kif 2755-2760 |
|
(=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1798-1801 |
|
(=> (instance ?UV UnpoweredVehicle) (not (exists (?P) (powerComponent ?P ?UV)))) |
Transportation.kif 1787-1791 |