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
-------------------------


s__documentation(s__CommunicationSystem,s__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 7171-7173
s__subclass(s__CommunicationSystem,s__Collection)

s__instance(s__CommunicationSystem,s__SetOrClass)

s__instance(s__Collection,s__SetOrClass)

Mid-level-ontology.kif 7170-7170 Communication system is a subclass of collection

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


s__engineeringSubcomponent(s__BroadcastingStation,s__CommunicationSystem)

Communications.kif 220-220 Broadcasting station is a component of communication system
s__instance(s__Internet,s__CommunicationSystem)

s__instance(s__CommunicationSystem,s__SetOrClass)

Communications.kif 430-430 Internet is an instance of communication system
s__instance(s__BroadcastNetwork,s__SetOrClass)

s__instance(s__CommunicationSystem,s__SetOrClass)

s__subclass(s__BroadcastNetwork,s__CommunicationSystem)

Communications.kif 358-358 Broadcast network is a subclass of communication system
s__instance(s__CableTelevisionSystem,s__SetOrClass)

s__instance(s__CommunicationSystem,s__SetOrClass)

s__subclass(s__CableTelevisionSystem,s__CommunicationSystem)

Communications.kif 333-333 Cable television system is a subclass of communication system
s__instance(s__InternetServiceProvider,s__SetOrClass)

s__subclass(s__InternetServiceProvider,s__CommunicationSystem)

s__instance(s__CommunicationSystem,s__SetOrClass)

Communications.kif 442-442 Internet service provider is a subclass of communication system
s__instance(s__PublicAddressSystem,s__SetOrClass)

s__subclass(s__PublicAddressSystem,s__CommunicationSystem)

s__instance(s__CommunicationSystem,s__SetOrClass)

Mid-level-ontology.kif 24680-24680 Public address system is a subclass of communication system
s__instance(s__RadioSystem,s__SetOrClass)

s__instance(s__CommunicationSystem,s__SetOrClass)

s__subclass(s__RadioSystem,s__CommunicationSystem)

Communications.kif 231-231 Radio system is a subclass of communication system
s__subclass(s__SatelliteTelevisionSystem,s__CommunicationSystem)

s__instance(s__SatelliteTelevisionSystem,s__SetOrClass)

s__instance(s__CommunicationSystem,s__SetOrClass)

Communications.kif 344-344 Satellite tv is a subclass of communication system
s__instance(s__TelephoneSystem,s__SetOrClass)

s__subclass(s__TelephoneSystem,s__CommunicationSystem)

s__instance(s__CommunicationSystem,s__SetOrClass)

Communications.kif 32-32 Telephone system is a subclass of communication system
s__instance(s__TelevisionSystem,s__SetOrClass)

s__subclass(s__TelevisionSystem,s__CommunicationSystem)

s__instance(s__CommunicationSystem,s__SetOrClass)

Communications.kif 318-318 Television system is a subclass of communication system
s__termFormat(s__ChineseLanguage,s__CommunicationSystem,'"通讯系统"')

domainEnglishFormat.kif 16053-16053
s__termFormat(s__ChineseTraditionalLanguage,s__CommunicationSystem,'"通訊系統"')

domainEnglishFormat.kif 16052-16052
s__termFormat(s__EnglishLanguage,s__CommunicationSystem,'"communication system"')

domainEnglishFormat.kif 16051-16051

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 142-151
( ! [V__CO] :
   ((s__instance(V__CO,s__CommunicationOrganization) =>
       (( ? [V__CS, V__C] :
           ((s__instance(V__C,s__Communication) &
               s__instance(V__CS,s__CommunicationSystem) &
               s__instrument(V__C,V__CS)
             &
             s__agent(V__C,V__CO))))))
)
)

Mid-level-ontology.kif 7136-7143
( ! [V__SAT] :
   ((s__instance(V__SAT,s__CommunicationSatellite) =>
       (( ? [V__SYSTEM] :
           ((s__instance(V__SYSTEM,s__CommunicationSystem) &
               s__engineeringSubcomponent(V__SAT,V__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