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 25070-25072
(subclass SatellitePhone ReceiverDevice)	Mid-level-ontology.kif 25068-25068	SatellitePhone 是接收器设备的 subclass
(subclass SatellitePhone Telephone)	Mid-level-ontology.kif 25069-25069	SatellitePhone 是电话的 subclass

appearance as argument number 2

Mid-level-ontology.kif 25073-25073

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