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


KB Term:  Term intersection
English Word: 

Sigma KEE - CommunicationSystem
CommunicationSystem(communication system)FOTS, communication_system, fiber-optic_transmission_system, fibre-optic_transmission_system, telecom_equipment, telecom_system, telecommunication_equipment, telecommunication_system

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


(subclass CommunicationSystem CollectionOfObjects) Mid-level-ontology.kif 8902-8902 Communication system is a subclass of collection
(documentation CommunicationSystem EnglishLanguage "CommunicationSystem is a complex system with various components, enabling communication (in some medium) between points in a specific area, whether local or worldwide.") Mid-level-ontology.kif 8903-8905 Communication system is a subclass of collection

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


(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 28613-28613 Public address system is a subclass of communication system
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32 Telephone system is a subclass of communication system
(subclass RadioSystem CommunicationSystem) Communications.kif 217-217 Radio system is a subclass of communication system
(subclass TelevisionSystem CommunicationSystem) Communications.kif 366-366 Television system is a subclass of communication system
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 386-386 Cable television system is a subclass of communication system
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 397-397 Satellite tv is a subclass of communication system
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 411-411 Broadcast network is a subclass of communication system
(instance Internet CommunicationSystem) Communications.kif 483-483 Internet is an instance of communication system
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 495-495 Internet service provider is a subclass of communication system
(termFormat EnglishLanguage CommunicationSystem "communication system") domainEnglishFormat.kif 16062-16062 Internet service provider is a subclass of communication system
(termFormat ChineseTraditionalLanguage CommunicationSystem "通訊系統") domainEnglishFormat.kif 16063-16063 Internet service provider is a subclass of communication system
(termFormat ChineseLanguage CommunicationSystem "通讯系统") domainEnglishFormat.kif 16064-16064 Internet service provider is a subclass of communication system

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


(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))		 Mid-level-ontology.kif 8868-8875 If X is an instance of communication organization, then there exist Y, Z such that Z is an instance of communication, Y is an instance of communication system, Y is an instrument for Z, and X is an agent of Z
(=>
    (instance ?SAT CommunicationSatellite)
    (exists (?SYSTEM)
        (and
            (instance ?SYSTEM CommunicationSystem)
            (engineeringSubcomponent ?SAT ?SYSTEM))))		 Mid-level-ontology.kif 27332-27337 If X is an instance of communications satellite, then there exists Y such that Y is an instance of communication system and X is a component of Y
(=>
    (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)
    (equal ?INTEGER
        (CardinalityFn
            (KappaFn ?SATELLITE
                (and
                    (instance ?SATELLITE ?SATELLITETYPE)
                    (instance ?SYSTEM CommunicationSystem)
                    (located ?SYSTEM ?AREA)
                    (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))		 Communications.kif 123-132 If there are X communiation satellite of type Y in Z, then equal X and the number of instances in the class described by W
(=>
    (instance ?STATION BroadcastingStation)
    (exists (?SYS)
        (and
            (instance ?SYS CommunicationSystem)
            (engineeringSubcomponent ?STATION ?SYS))))		 Communications.kif 201-206 If X is an instance of broadcasting station, then there exists Y such that Y is an instance of communication system and X is a component of Y


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-59f850aa (2026-04-26) is open source software produced by Articulate Software and its partners