Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MaleConnector

 Sigma KEE - MaleConnector
MaleConnector(公)

appearance as argument number 1
-------------------------


(instance MaleConnector DeviceAttribute) ComputingBrands.kif 2667-2667 公 is an instance of device attribute
(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 2668-2671 公 is an instance of device attribute
(documentation MaleConnector ChineseTraditionalLanguage "一個 Device 的 Attribute 被設計來連接另一個 Device。 它有個 Convex 形狀。 注意這個特性能應用在電器裝置, 水管接頭和很多其他 EngineeringComponents。") ComputingBrands.kif 2673-2675 公 is an instance of device attribute
(documentation MaleConnector ChineseLanguage "一个 Device 的 Attribute 被设计来连接另一个 Device。 它有个 Convex 形状。 注意这个特性能应用在电器装置, 水管接头和很多其他 EngineeringComponents。") ComputingBrands.kif 2677-2678 公 is an instance of device attribute
(documentation MaleConnector JapaneseLanguage "他のDeviceに接続してデザインされている DeviceのAttribute。それはConvexである。ここで留意すべき点は、このDeviceの属性が、電気 機器、配管コネクタ、およびその他多くのEngineeringComponentsに適用できることである。") ComputingBrands.kif 2680-2682 公 is an instance of device attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MaleConnector "male connector") ComputingBrands.kif 2684-2684
(termFormat ChineseTraditionalLanguage MaleConnector "公連接器") ComputingBrands.kif 2685-2685
(termFormat ChineseLanguage MaleConnector "公连接器") ComputingBrands.kif 2686-2686
(termFormat JapaneseLanguage MaleConnector "雄コネクタ") ComputingBrands.kif 2687-2687
(termFormat EnglishLanguage MaleConnector "公") ComputingBrands.kif 2688-2688
(termFormat ChineseTraditionalLanguage MaleConnector "公") ComputingBrands.kif 2689-2689
(termFormat ChineseLanguage MaleConnector "公") ComputingBrands.kif 2690-2690
(termFormat JapaneseLanguage MaleConnector "雄") ComputingBrands.kif 2691-2691

antecedent
-------------------------


(=>
    (attribute ?M MaleConnector)
    (shape ?M Convex))		 ComputingBrands.kif 2693-2695 If 公 is an attribute of X, then X is convex

consequent
-------------------------


(=>
    (instance ?CP ComputerPlug)
    (attribute ?CP MaleConnector))		 ComputingBrands.kif 2604-2606 If X is an instance of plug, then 公 is an attribute of X
(=>
    (and
        (instance ?CC ComputerCable)
        (not
            (instance ?C Cable))
        (part ?C ?CC))
    (or
        (instance ?C MaleConnector)
        (instance ?C FemaleConnector)))		 ComputingBrands.kif 2657-2665 If X is an instance of cable, Y is not an instance of cable, and Y is a part of X, then Y is an instance of 公 or Y is an instance of female


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners