MaleConnector |
appearance as argument number 1 |
(documentation MaleConnector ChineseLanguage "一个 Device 的 Attribute 被设计来连接另一个 Device。 它有个 Convex 形状。 注意这个特性能应用在电器装置, 水管接头和很多其他 EngineeringComponents。") | ComputingBrands.kif 2766-2767 | |
(documentation MaleConnector ChineseTraditionalLanguage "一個 Device 的 Attribute 被設計來連接另一個 Device。 它有個 Convex 形狀。 注意這個特性能應用在電器裝置, 水管接頭和很多其他 EngineeringComponents。") | ComputingBrands.kif 2762-2764 | |
(documentation MaleConnector EnglishLanguage "An Attribute of a Device that is designed to connect to another Device. It has a Convex shape. Note that this attribute can apply to electrical devices, plumbing connectors and many other EngineeringComponents.") | ComputingBrands.kif 2757-2760 | |
(documentation MaleConnector JapaneseLanguage "他のDeviceに接続してデザインされている DeviceのAttribute。それはConvexである。ここで留意すべき点は、このDeviceの属性が、電気 機器、配管コネクタ、およびその他多くのEngineeringComponentsに適用できることである。") | ComputingBrands.kif 2769-2771 | |
(instance MaleConnector DeviceAttribute) | ComputingBrands.kif 2756-2756 | MaleConnector est une instance de DeviceAttribute |
appearance as argument number 2 |
(termFormat ChineseLanguage MaleConnector "公") | ComputingBrands.kif 2779-2779 | |
(termFormat ChineseLanguage MaleConnector "公连接器") | ComputingBrands.kif 2775-2775 | |
(termFormat ChineseTraditionalLanguage MaleConnector "公") | ComputingBrands.kif 2778-2778 | |
(termFormat ChineseTraditionalLanguage MaleConnector "公連接器") | ComputingBrands.kif 2774-2774 | |
(termFormat EnglishLanguage MaleConnector "male connector") | ComputingBrands.kif 2773-2773 | |
(termFormat EnglishLanguage MaleConnector "公") | ComputingBrands.kif 2777-2777 | |
(termFormat JapaneseLanguage MaleConnector "雄") | ComputingBrands.kif 2780-2780 | |
(termFormat JapaneseLanguage MaleConnector "雄コネクタ") | ComputingBrands.kif 2776-2776 |
antecedent |
(=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2782-2784 |
consequent |
(=> (and (instance ?CC ComputerCable) (not (instance ?C Cable)) (part ?C ?CC)) (or (instance ?C MaleConnector) (instance ?C FemaleConnector))) |
ComputingBrands.kif 2746-2754 |
|
(=> (instance ?CP ComputerPlug) (attribute ?CP MaleConnector)) |
ComputingBrands.kif 2604-2606 |
|