| appearance as argument number 1 |
|
| (documentation FemaleConnector ChineseLanguage "一个 Device 的 Attribute 被设计来连接另一个 Device。 它有个 Concave 形状。 注意这个特性能应用在电器装置, 水管接头和很多其他 EngineeringComponents。") | ComputingBrands.kif 2795-2796 | |
| (documentation FemaleConnector ChineseTraditionalLanguage "一個 Device 的 Attribute 被設計來連接另一個 Device。 它有個 Concave 形狀。 注意這個特性能應用在電器裝置, 水管接頭和很多其他 EngineeringComponents。") | ComputingBrands.kif 2792-2793 | |
| (documentation FemaleConnector EnglishLanguage "An Attribute of a Device that is designed to connect to another Device. It has a Concave shape. Note that this attribute can apply to electrical devices, plumbing connectors and many other EngineeringComponents.") | ComputingBrands.kif 2787-2790 | |
| (documentation FemaleConnector JapaneseLanguage "他のDeviceに接続してデザインされている DeviceのAttribute。それはConcaveである。ここで留意すべき点は、このDeviceの属性が、電気 機器、配管コネクタ、およびその他多くのEngineeringComponentsに適用できることである。") | ComputingBrands.kif 2798-2800 | |
| (instance FemaleConnector DeviceAttribute) | ComputingBrands.kif 2786-2786 | Female is an instance of device attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FemaleConnector "母") | ComputingBrands.kif 2808-2808 | |
| (termFormat ChineseLanguage FemaleConnector "母连接器") | ComputingBrands.kif 2804-2804 | |
| (termFormat ChineseTraditionalLanguage FemaleConnector "母") | ComputingBrands.kif 2807-2807 | |
| (termFormat ChineseTraditionalLanguage FemaleConnector "母連接器") | ComputingBrands.kif 2803-2803 | |
| (termFormat EnglishLanguage FemaleConnector "female connector") | ComputingBrands.kif 2802-2802 | |
| (termFormat EnglishLanguage FemaleConnector "female") | ComputingBrands.kif 2806-2806 | |
| (termFormat JapaneseLanguage FemaleConnector "雌") | ComputingBrands.kif 2809-2809 | |
| (termFormat JapaneseLanguage FemaleConnector "雌コネクタ") | ComputingBrands.kif 2805-2805 |
| antecedent |
|
|
| (=> (attribute ?M FemaleConnector) (shape ?M Concave)) |
ComputingBrands.kif 2811-2813 |
|
| 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 ComputerPort) (attribute ?CP FemaleConnector)) |
ComputingBrands.kif 2577-2579 |
|
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