SatellitePhone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SatellitePhone EnglishLanguage "A mobile Telephone that primarily communicates through a communication ArtificialSatellite orbiting the PlanetEarth, rather than solely through a set of terrestrial stations.")	Mid-level-ontology.kif 25071-25073
(subclass SatellitePhone ReceiverDevice)	Mid-level-ontology.kif 25069-25069
(subclass SatellitePhone Telephone)	Mid-level-ontology.kif 25070-25070

appearance as argument number 2

Mid-level-ontology.kif 25074-25074

antecedent

(=>
    (instance ?SP SatellitePhone)
    (hasPurpose ?SP
        (exists (?RE ?S)
            (and
                (instance ?S ArtificialSatellite)
                (instance ?RE RadioEmission)
                (origin ?RE ?SP)
                (destination ?RE ?SP)))))

Mid-level-ontology.kif 25076-25084