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)

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


(subclass CommunicationSystem Collection) Mid-level-ontology.kif 8826-8826 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 8827-8829 Communication system is a subclass of collection

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


(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 28759-28759 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 236-236 Radio system is a subclass of communication system
(subclass TelevisionSystem CommunicationSystem) Communications.kif 385-385 Television system is a subclass of communication system
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 405-405 Cable television system is a subclass of communication system
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 416-416 Satellite tv is a subclass of communication system
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 430-430 Broadcast network is a subclass of communication system
(instance Internet CommunicationSystem) Communications.kif 502-502 Internet is an instance of communication system
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 514-514 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 8792-8799 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))))		 Communications.kif 125-130 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 142-151 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 220-225 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 is open source software produced by Articulate Software and its partners