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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommunicationSystem
CommunicationSystem

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 7307-7309
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7306-7306 subclass CommunicationSystem and Collection

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


(engineeringSubcomponent BroadcastingStation CommunicationSystem) Communications.kif 220-220 engineeringSubcomponent BroadcastingStation and CommunicationSystem
(instance Internet CommunicationSystem) Communications.kif 430-430 instance Internet and CommunicationSystem
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 358-358 subclass BroadcastNetwork and CommunicationSystem
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 333-333 subclass CableTelevisionSystem and CommunicationSystem
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 442-442 subclass InternetServiceProvider and CommunicationSystem
(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 24119-24119 subclass PublicAddressSystem and CommunicationSystem
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231 subclass RadioSystem and CommunicationSystem
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 344-344 subclass SatelliteTelevisionSystem and CommunicationSystem
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32 subclass TelephoneSystem and CommunicationSystem
(subclass TelevisionSystem CommunicationSystem) Communications.kif 318-318 subclass TelevisionSystem and CommunicationSystem
(termFormat ChineseLanguage CommunicationSystem "通讯系统") domainEnglishFormat.kif 15985-15985
(termFormat ChineseTraditionalLanguage CommunicationSystem "通訊系統") domainEnglishFormat.kif 15984-15984
(termFormat EnglishLanguage CommunicationSystem "communication system") domainEnglishFormat.kif 15983-15983

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 7273-7280
(=>
    (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