connectsEngineeringComponents - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - connectsEngineeringComponents

connectsEngineeringComponents

appearance as argument number 1

(documentation connectsEngineeringComponents ChineseLanguage "connectsEngineeringComponents 是一种 TernaryPredicate，它把一个 EngineeringConnection 和它连接的 EngineeringComponent 联系。因为 EngineeringComponent 不能和自身连接，而又容许出现没有 connectedEngineeringComponents Predicate 的 EngineeringConnection，所以任何 connectsEngineeringComponents 关系的第二和第三个参数一定需有和第一个参数不同。")	chinese_format.kif 4056-4060
(documentation connectsEngineeringComponents EnglishLanguage "connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument.")	Merge.kif 16322-16328
(domain connectsEngineeringComponents 1 EngineeringConnection)	Merge.kif 16319-16319	The number 1 argument of connects engineering components is an instance of engineering connection
(domain connectsEngineeringComponents 2 EngineeringComponent)	Merge.kif 16320-16320	The number 2 argument of connects engineering components is an instance of engineering component
(domain connectsEngineeringComponents 3 EngineeringComponent)	Merge.kif 16321-16321	The number 3 argument of connects engineering components is an instance of engineering component
(instance connectsEngineeringComponents TernaryPredicate)	Merge.kif 16318-16318	connects engineering components is an instance of ternary predicate
(subrelation connectsEngineeringComponents connects)	Merge.kif 16317-16317	connects engineering components is a subrelation of connects

appearance as argument number 2

(format ChineseLanguage connectsEngineeringComponents "%1 %n connects %2 和 %3")	chinese_format.kif 543-543
(format EnglishLanguage connectsEngineeringComponents "%1 %n{doesn't} connect%p{s} %2 and %3")	english_format.kif 548-548
(format FrenchLanguage connectsEngineeringComponents "%1 %n{ne} connecte %n{pas} %2 et %3")	french_format.kif 319-319
(format ItalianLanguage connectsEngineeringComponents "%1 connette %2 e %3")	relations-it.txt 55-55
(format JapaneseLanguage connectsEngineeringComponents "%1 は %2 と %3 に connect%p{s} して　%n{ない}")	japanese_format.kif 2087-2087
(format PortugueseLanguage connectsEngineeringComponents "%1 %n{nao} conecta %n %2 e %3")	portuguese_format.kif 271-271
(format de connectsEngineeringComponents "%1 schliesst %2 und %3 an")	relations-de.txt 710-710
(format hi connectsEngineeringComponents "%1 %2 aura %3 ko jodataa hai")	relations-hindi.txt 96-96
(format ro connectsEngineeringComponents "%1 %n{nu} connect%t{interfaþeazã} %2 ºi %3")	relations-ro.kif 340-340
(format sv connectsEngineeringComponents "%1 ansluter %n{inte} %2 och %3")	relations-sv.txt 352-352
(format tg connectsEngineeringComponents "%1 nagkakabit %2 at %3")	relations-cb.txt 89-89
(termFormat ChineseLanguage connectsEngineeringComponents "连接工程子组件")	chinese_format.kif 544-544
(termFormat ChineseLanguage connectsEngineeringComponents "连接工程组件")	domainEnglishFormat.kif 16683-16683
(termFormat ChineseTraditionalLanguage connectsEngineeringComponents "連接工程組件")	domainEnglishFormat.kif 16682-16682
(termFormat EnglishLanguage connectsEngineeringComponents "connects engineering components")	domainEnglishFormat.kif 16681-16681
(termFormat de connectsEngineeringComponents "schliesstTechnikKomponentenAn")	terms-de.txt 216-216
(termFormat tg connectsEngineeringComponents "nagkakabit bahagi")	relations-tg.txt 127-127

antecedent

(=> (and (connectsEngineeringComponents ?CONN ?DEVICE ?AP) (instance ?AP InternetAccessPoint)) (instance ?CONN InternetConnection))	Hotel.kif 1403-1407	If an engineering connection connects an engineering component and another engineering component and the other engineering component is an instance of internet access point, then the engineering connection is an instance of internet connection
(=> (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2) (connectedEngineeringComponents ?COMP1 ?COMP2))	Merge.kif 16313-16315	If an engineering connection connects an engineering component and another engineering component, then the engineering component is connected to the other engineering component

consequent

(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (exists (?CONNECTION) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))	Merge.kif 16308-16311	If an engineering component is connected to another engineering component, then there exists an engineering connection such that the engineering connection connects the engineering component and the other engineering component
(=> (instance ?ADAPT OutletAdapter) (hasPurpose ?ADAPT (exists (?OUTLET ?PLUG) (and (instance ?PLUG ElectricalPlug) (instance ?OUTLET ElectricalOutlet) (completelyFills ?PLUG ?ADAPT) (completelyFills ?ADAPT ?OUTLET) (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET)))))	Mid-level-ontology.kif 27634-27643	If a physical is an instance of outlet adapter, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of electrical plug and the entity is an instance of electrical outlet and the other entity completely fills the physical and the physical completely fills the entity and the physical connects the other entity and the entity
(=> (instance ?CONNECTION EngineeringConnection) (exists (?COMP1 ?COMP2) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))	Merge.kif 16296-16299	If an engineering connection is an instance of engineering connection, then there exist an engineering component and another engineering component such that the engineering connection connects the engineering component and the other engineering component
(=> (instance ?X CordedTelephone) (exists (?HANDSET ?CRADLE ?WIRE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))	Communications.kif 78-87	If an object is an instance of corded telephone, then there exist an engineering component, another engineering component and an engineering connection such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
(=> (instance ?X CordlessTelephone) (exists (?HANDSET ?CRADLE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (not (exists (?WIRE) (and (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))	Communications.kif 95-107	If an object is an instance of cordless telephone, then there exist an engineering component and another engineering component such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and there doesn't exist an engineering connection such that the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
(=> (instance ?X ElectricalOutlet) (hasPurpose ?X (exists (?POWER ?WIRE) (and (instance ?POWER PowerSource) (instance ?WIRE Collection) (memberType ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 27576-27584	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
(=> (instance ?X Modem) (hasPurpose ?X (exists (?ISP ?CONN) (and (instance ?ISP InternetServiceProvider) (connectsEngineeringComponents ?CONN ?X ?ISP) (instance ?CONN TelephoneLine)))))	Hotel.kif 1389-1396	If a physical is an instance of modem, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of internet service provider and the other entity connects the physical and the entity and the other entity is an instance of telephone line
(=> (instance ?X TelephoneCradle) (hasPurpose ?X (exists (?SYS ?WIRE) (and (instance ?SYS TelephoneSystem) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?SYS)))))	Communications.kif 64-71	If a physical is an instance of telephone cradle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of telephone system and the other entity is an instance of wire line and the other entity connects the physical and the entity

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