engineeringSubcomponent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation engineeringSubcomponent ChineseLanguage "(engineeringSubcomponent ?SUB ?SUPER)的意思是 EngineeringComponent ?SUB 是 ?SUPER 结构上的 properPart。这关系属于 AsymmetricRelation 因为两个 EngineeringComponent 不可能成为互相的子零件。")	chinese_format.kif 3640-3642
(documentation engineeringSubcomponent EnglishLanguage "(engineeringSubcomponent ?SUB ?SUPER) means that the EngineeringComponent ?SUB is structurally a properPart of ?SUPER. This relation is an AsymmetricRelation, since two EngineeringComponents cannot be subcomponents of each other.")	Merge.kif 16159-16162
(domain engineeringSubcomponent 1 EngineeringComponent)	Merge.kif 16157-16157	The number 1 argument of engineering subcomponent is an instance of engineering component
(domain engineeringSubcomponent 2 EngineeringComponent)	Merge.kif 16158-16158	The number 2 argument of engineering subcomponent is an instance of engineering component
(instance engineeringSubcomponent BinaryPredicate)	Merge.kif 16156-16156	engineering subcomponent is an instance of binary predicate
(subrelation engineeringSubcomponent properPart)	Merge.kif 16155-16155	engineering subcomponent is a subrelation of proper part

appearance as argument number 2

(format ChineseLanguage engineeringSubcomponent "%1 %n 是 %2 的 component")	chinese_format.kif 539-539
(format EnglishLanguage engineeringSubcomponent "%1 is %n a component of %2")	english_format.kif 544-544
(format FrenchLanguage engineeringSubcomponent "%1 est %n un composant de %2")	french_format.kif 317-317
(format ItalianLanguage engineeringSubcomponent "%1 è un componente di %2")	relations-it.txt 94-94
(format JapaneseLanguage engineeringSubcomponent "%1 は %2 の component では %n")	japanese_format.kif 2085-2085
(format PortugueseLanguage engineeringSubcomponent "%1 e' %n um componente de %2")	portuguese_format.kif 269-269
(format de engineeringSubcomponent "%1 ist eine komponente von %2")	relations-de.txt 704-704
(format hi engineeringSubcomponent "%1 %2 kaa ghaTaka hai")	relations-hindi.txt 134-134
(format ro engineeringSubcomponent "%1 %n{nu} este un component%t{modul} al lui %2")	relations-ro.kif 338-338
(format sv engineeringSubcomponent "%1 är %n{inte} en komponent av %2")	relations-sv.txt 349-349
(format tg engineeringSubcomponent "%1 ay ang bahagi sa %2")	relations-tg.txt 203-203
(termFormat ChineseLanguage engineeringSubcomponent "工程子组件")	chinese_format.kif 540-540
(termFormat ChineseTraditionalLanguage engineeringSubcomponent "工程子組件")	domainEnglishFormat.kif 22129-22129
(termFormat EnglishLanguage engineeringSubcomponent "engineering subcomponent")	domainEnglishFormat.kif 22128-22128

antecedent

(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))

Hotel.kif 1347-1358

If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component,
then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity

consequent

(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet)))	Hotel.kif 1365-1371	If an entity is an instance of internet access point and another entity is an instance of device, then the other entity is a component of internet holds during the time of existence of the other entity is connected to the entity
(=> (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER) (equal ?INTEGER (CardinalityFn (KappaFn ?SATELLITE (and (instance ?SATELLITE ?SATELLITETYPE) (instance ?SYSTEM CommunicationSystem) (located ?SYSTEM ?AREA) (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))	Communications.kif 142-151	If there are an integer communiation satellite of type a kind of satellite in a geopolitical area, then the integer is equal to the number of instances in the class described by a symbolic string
(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (and (not (engineeringSubcomponent ?COMP1 ?COMP2)) (not (engineeringSubcomponent ?COMP2 ?COMP1))))	Merge.kif 16180-16186	If an engineering component is connected to another engineering component, then the engineering component is not a component of the other engineering component and the other engineering component is not a component of the engineering component
(=> (instance ?PART InternetServiceProvider) (engineeringSubcomponent ?PART Internet))	Communications.kif 447-449	If an engineering component is an instance of internet service provider, then the engineering component is a component of internet
(=> (instance ?SAT CommunicationSatellite) (exists (?SYSTEM) (and (instance ?SYSTEM CommunicationSystem) (engineeringSubcomponent ?SAT ?SYSTEM))))	Communications.kif 125-130	If an engineering component is an instance of communication satellite, then there exists another engineering component such that the other engineering component is an instance of communication system and the engineering component is a component of the other engineering component
(=> (instance ?SYSTEM CableTelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 337-342	If an engineering component is an instance of cable television system, then there exists another engineering component such that the other engineering component is an instance of television receiver and the other engineering component is a component of the engineering component
(=> (instance ?SYSTEM RadioSystem) (exists (?DEVICE) (and (instance ?DEVICE RadioReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 310-315	If an engineering component is an instance of radio system, then there exists another engineering component such that the other engineering component is an instance of radio receiver and the other engineering component is a component of the engineering component
(=> (instance ?SYSTEM TelephoneSystem) (exists (?LINE) (and (instance ?LINE MainTelephoneLine) (engineeringSubcomponent ?LINE ?SYSTEM))))	Communications.kif 52-57	If an engineering component is an instance of telephone system, then there exists another engineering component such that the other engineering component is an instance of main telephone line and the other engineering component is a component of the engineering component
(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM))))	Communications.kif 40-45	If an engineering component is an instance of telephone system, then there exists another engineering component such that the other engineering component is an instance of telephone and the other engineering component is a component of the engineering component
(=> (instance ?SYSTEM TelevisionSystem) (exists (?DEVICE) (and (instance ?DEVICE TelevisionReceiver) (engineeringSubcomponent ?DEVICE ?SYSTEM))))	Communications.kif 387-392	If an engineering component is an instance of television system, then there exists another engineering component such that the other engineering component is an instance of television receiver and the other engineering component is a component of the engineering component
(=> (instance ?SYSTEM TelevisionSystem) (exists (?STATION) (and (instance ?STATION TelevisionStation) (engineeringSubcomponent ?STATION ?SYSTEM))))	Communications.kif 326-331	If an engineering component is an instance of television system, then there exists another engineering component such that the other engineering component is an instance of television station and the other engineering component is a component of the engineering component
(=> (instance ?X BabyMonitoringSystem) (exists (?TX ?RX) (and (instance ?RX RadioReceiver) (instance ?TX Device) (engineeringSubcomponent ?RX ?X) (engineeringSubcomponent ?TX ?X) (hasPurpose ?X (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO) (and (instance ?BABY HumanBaby) (instance ?CARER Human) (located ?BABY ?LOC1) (located ?CARER ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?PROC Maintaining) (patient ?PROC ?BABY) (agent ?PROC ?CARER) (located ?TX ?LOC1) (located ?RX ?LOC2) (instance ?SOUND RadiatingSound) (eventLocated ?SOUND ?LOC1) (instance ?RADIO RadioEmission) (patient ?RADIO ?SOUND) (destination ?RADIO ?RX) (agent ?RADIO ?TX)))))))	Communications.kif 258-284	If an engineering component is an instance of baby monitor, then there exist another engineering component and a third engineering component such that the third engineering component is an instance of radio receiver and the other engineering component is an instance of device and the third engineering component is a component of the engineering component and the other engineering component is a component of the engineering component and the engineering component has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the entity is an instance of human baby and the other entity is an instance of human and the entity is located at the fourth entity and the other entity is located at the fifth entity and the fourth entity is not equal to the fifth entity and the sixth entity is an instance of maintaining and the entity is a patient of the sixth entity and the other entity is an agent of the sixth entity and the other engineering component is located at the fourth entity and the third engineering component is located at the fifth entity and the third entity is an instance of radiating sound and the third entity is located at the fourth entity and the seventh entity is an instance of radio emission and the third entity is a patient of the seventh entity and the seventh entity ends up at the third engineering component and the other engineering component is an agent of the seventh entity

appearance as argument number 0

(engineeringSubcomponent AMRadioStation RadioSystem)	Communications.kif 294-294	AM radio station is a component of radio system
(engineeringSubcomponent BroadcastingStation CommunicationSystem)	Communications.kif 220-220	Broadcasting station is a component of communication system
(engineeringSubcomponent FMRadioStation RadioSystem)	Communications.kif 299-299	FM radio station is a component of radio system
(engineeringSubcomponent InternetServiceProvider Internet)	Communications.kif 443-443	Internet service provider is a component of internet
(engineeringSubcomponent RadioStation RadioSystem)	Communications.kif 289-289	Radio station is a component of radio system
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)	Communications.kif 304-304	Shortwave radio station is a component of radio system
(engineeringSubcomponent TelevisionStation TelevisionSystem)	Communications.kif 323-323	Television station is a component of television system

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

KB Term:			Term intersection

English Word: