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

KB Term:  Term intersection
English Word: 

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