SatellitePhone |
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 25128-25130 | |
(subclass SatellitePhone ReceiverDevice) | Mid-level-ontology.kif 25126-25126 | SatellitePhone e' uma sub-classe de ReceiverDevice |
(subclass SatellitePhone Telephone) | Mid-level-ontology.kif 25127-25127 | SatellitePhone e' uma sub-classe de Telephone |
appearance as argument number 2 |
(termFormat EnglishLanguage SatellitePhone "satellite phone") | Mid-level-ontology.kif 25131-25131 |
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 25133-25141 |