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 8787-8789
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 8786-8786

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


(engineeringSubcomponent BroadcastingStation CommunicationSystem) Communications.kif 220-220
(instance Internet CommunicationSystem) Communications.kif 475-475
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 403-403
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 378-378
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 487-487
(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 27991-27991
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 389-389
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32
(subclass TelevisionSystem CommunicationSystem) Communications.kif 363-363
(termFormat ChineseLanguage CommunicationSystem "通讯系统") domainEnglishFormat.kif 16071-16071
(termFormat ChineseTraditionalLanguage CommunicationSystem "通訊系統") domainEnglishFormat.kif 16070-16070
(termFormat EnglishLanguage CommunicationSystem "communication system") domainEnglishFormat.kif 16069-16069

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 8752-8759
(=>
    (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