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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationSystem

 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 7619-7621
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7618-7618 CommunicationSystem è una sottoclasse di InsiemeConcreto

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


(engineeringSubcomponent BroadcastingStation CommunicationSystem) Communications.kif 220-220 BroadcastingStation è un componente di CommunicationSystem
(instance Internet CommunicationSystem) Communications.kif 430-430 Internet è un' istanza di CommunicationSystem
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 358-358 BroadcastNetwork è una sottoclasse di CommunicationSystem
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 333-333 CableTelevisionSystem è una sottoclasse di CommunicationSystem
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 442-442 InternetServiceProvider è una sottoclasse di CommunicationSystem
(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 26081-26081 PublicAddressSystem è una sottoclasse di CommunicationSystem
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231 RadioSystem è una sottoclasse di CommunicationSystem
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 344-344 SatelliteTelevisionSystem è una sottoclasse di CommunicationSystem
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32 TelephoneSystem è una sottoclasse di CommunicationSystem
(subclass TelevisionSystem CommunicationSystem) Communications.kif 318-318 TelevisionSystem è una sottoclasse di CommunicationSystem
(termFormat ChineseLanguage CommunicationSystem "通讯系统") domainEnglishFormat.kif 16062-16062
(termFormat ChineseTraditionalLanguage CommunicationSystem "通訊系統") domainEnglishFormat.kif 16061-16061
(termFormat EnglishLanguage CommunicationSystem "communication system") domainEnglishFormat.kif 16060-16060

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 7584-7591
(=>
    (instance ?SAT CommunicationSatellite)
    (exists (?SYSTEM)
        (and
            (instance ?SYSTEM CommunicationSystem)
            (engineeringSubcomponent ?SAT ?SYSTEM))))		 Communications.kif 125-130


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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