| 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 | 公 is an instance of device attribute |
| 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 |
|
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