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


KB Term:  Term intersection
English Word: 

  SocialNetworkingUser

 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 8940-8940 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 8941-8943 Communication system is a subclass of collection

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


(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 28663-28663 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 8906-8913 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 27382-27387 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 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