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


KB Term:  Term intersection
English Word: 

  CommunicationSatellite

 Sigma KEE - CommunicationSatellite
CommunicationSatellite(communications satellite)

appearance as argument number 1
-------------------------


(subclass CommunicationSatellite ArtificialSatellite) Mid-level-ontology.kif 27376-27376 Communications satellite is a subclass of satellite
(subclass CommunicationSatellite CommunicationDevice) Mid-level-ontology.kif 27377-27377 Communications satellite is a subclass of communication device
(documentation CommunicationSatellite EnglishLanguage "A CommunicationSatellite is an ArtificialSatellite that serves as one engineeringSubcomponent of a CommunicationSystem.") Mid-level-ontology.kif 27379-27381 Communications satellite is a subclass of communication device

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


(termFormat EnglishLanguage CommunicationSatellite "communications satellite") Mid-level-ontology.kif 27378-27378
(subclass Eutelsat CommunicationSatellite) Communications.kif 134-134 Eutelsat is a subclass of communications satellite
(subclass Inmarsat CommunicationSatellite) Communications.kif 138-138 Inmarsat is a subclass of communications satellite
(subclass Intelsat CommunicationSatellite) Communications.kif 142-142 Intelsat is a subclass of communications satellite
(subclass Intersputnik CommunicationSatellite) Communications.kif 146-146 Intersputnik is a subclass of communications satellite
(subclass Orbita CommunicationSatellite) Communications.kif 150-150 Orbita is a subclass of communications satellite
(termFormat EnglishLanguage CommunicationSatellite "communication satellite") domainEnglishFormat.kif 16038-16038 Orbita is a subclass of communications satellite
(termFormat ChineseTraditionalLanguage CommunicationSatellite "通信衛星") domainEnglishFormat.kif 16039-16039 Orbita is a subclass of communications satellite
(termFormat ChineseLanguage CommunicationSatellite "通信卫星") domainEnglishFormat.kif 16040-16040 Orbita is a subclass of communications satellite

antecedent
-------------------------


(=>
    (instance ?SAT CommunicationSatellite)
    (exists (?SYSTEM)
        (and
            (instance ?SYSTEM CommunicationSystem)
            (engineeringSubcomponent ?SAT ?SYSTEM))))		 Mid-level-ontology.kif 27382-27387 If X is an instance of communications satellite, then there exists Y such that Y is an instance of communication system and X is a component of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners