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

KB Term:  Term intersection
English Word: 

Sigma KEE - FemaleConnector
FemaleConnector(female)

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


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

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


(termFormat EnglishLanguage FemaleConnector "female connector") ComputingBrands.kif 2713-2713
(termFormat ChineseTraditionalLanguage FemaleConnector "母連接器") ComputingBrands.kif 2714-2714
(termFormat ChineseLanguage FemaleConnector "母连接器") ComputingBrands.kif 2715-2715
(termFormat JapaneseLanguage FemaleConnector "雌コネクタ") ComputingBrands.kif 2716-2716
(termFormat EnglishLanguage FemaleConnector "female") ComputingBrands.kif 2717-2717
(termFormat ChineseTraditionalLanguage FemaleConnector "母") ComputingBrands.kif 2718-2718
(termFormat ChineseLanguage FemaleConnector "母") ComputingBrands.kif 2719-2719
(termFormat JapaneseLanguage FemaleConnector "雌") ComputingBrands.kif 2720-2720

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


(=>
    (attribute ?M FemaleConnector)
    (shape ?M Concave))		 ComputingBrands.kif 2722-2724 If female is an attribute of X, then X is concave

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


(=>
    (instance ?CP ComputerPort)
    (attribute ?CP FemaleConnector))		 ComputingBrands.kif 2577-2579 If X is an instance of port, then female 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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners