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


KB Term:  Term intersection
English Word: 

Sigma KEE - CommunicationSystem
CommunicationSystemFOTS, 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 8782-8784
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 8781-8781 CommunicationSystem is a subclass of collection

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


(engineeringSubcomponent BroadcastingStation CommunicationSystem) Communications.kif 220-220 BroadcastingStation is a component of CommunicationSystem
(instance Internet CommunicationSystem) Communications.kif 472-472 Internet is an instance of CommunicationSystem
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 400-400 BroadcastNetwork is a subclass of CommunicationSystem
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 375-375 CableTelevisionSystem is a subclass of CommunicationSystem
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 484-484 InternetServiceProvider is a subclass of CommunicationSystem
(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 27981-27981 PublicAddressSystem is a subclass of CommunicationSystem
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231 RadioSystem is a subclass of CommunicationSystem
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 386-386 SatelliteTelevisionSystem is a subclass of CommunicationSystem
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32 TelephoneSystem is a subclass of CommunicationSystem
(subclass TelevisionSystem CommunicationSystem) Communications.kif 360-360 TelevisionSystem is a subclass of CommunicationSystem
(termFormat ChineseLanguage CommunicationSystem "通讯系统") domainEnglishFormat.kif 16070-16070 TelevisionSystem is a subclass of CommunicationSystem
(termFormat ChineseTraditionalLanguage CommunicationSystem "通訊系統") domainEnglishFormat.kif 16069-16069 TelevisionSystem is a subclass of CommunicationSystem
(termFormat EnglishLanguage CommunicationSystem "communication system") domainEnglishFormat.kif 16068-16068 TelevisionSystem is a subclass of CommunicationSystem

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 8747-8754
(=>
    (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