Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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
-------------------------


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

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


(engineeringSubcomponent BroadcastingStation CommunicationSystem) Communications.kif 220-220 Broadcasting station is a component of communication system
(instance Internet CommunicationSystem) Communications.kif 430-430 Internet is an instance of communication system
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 358-358 Broadcast network is a subclass of communication system
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 333-333 Cable television system is a subclass of communication system
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 442-442 Internet service provider is a subclass of communication system
(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 27188-27188 Public address system is a subclass of communication system
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231 Radio system is a subclass of communication system
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 344-344 Satellite tv is a subclass of communication system
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32 Telephone system is a subclass of communication system
(subclass TelevisionSystem CommunicationSystem) Communications.kif 318-318 Television system is a subclass of communication system
(termFormat ChineseLanguage CommunicationSystem "通讯系统") domainEnglishFormat.kif 16077-16077 Television system is a subclass of communication system
(termFormat ChineseTraditionalLanguage CommunicationSystem "通訊系統") domainEnglishFormat.kif 16076-16076 Television system is a subclass of communication system
(termFormat EnglishLanguage CommunicationSystem "communication system") domainEnglishFormat.kif 16075-16075 Television system is a subclass of communication system

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


(=>
    (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
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))		 Mid-level-ontology.kif 8358-8365
(=>
    (instance ?SAT CommunicationSatellite)
    (exists (?SYSTEM)
        (and
            (instance ?SYSTEM CommunicationSystem)
            (engineeringSubcomponent ?SAT ?SYSTEM))))		 Communications.kif 125-130


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