SatellitePhone - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SatellitePhone ReceiverDevice)	Mid-level-ontology.kif 27389-27389	Satellite phone is a subclass of receiver device
(subclass SatellitePhone Telephone)	Mid-level-ontology.kif 27390-27390	Satellite phone is a subclass of telephone
(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 27391-27393	Satellite phone is a subclass of telephone

appearance as argument number 2

antecedent

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

If X is an instance of satellite phone, then X has the purpose there exist Y, Z such that Z is an instance of satellite, Y is an instance of radio emission, Y originates at X, and Y ends up at X