ArtificialSatellite
|
|
appearance as argument number 1 |
(documentation ArtificialSatellite EnglishLanguage "An ArtificialSatellite is a Device that orbits the earth in space and performs various functions such as aiding in communication, photographing the earth's surface, and others.") | Communications.kif 115-117 | |
(subclass ArtificialSatellite EngineeringComponent) | Communications.kif 113-113 | 子類 人造衛星 and EngineeringComponent |
(subclass ArtificialSatellite Satellite) | Communications.kif 112-112 | 子類 人造衛星 and 衛星 |
appearance as argument number 2 |
(subclass CommunicationSatellite ArtificialSatellite) | Communications.kif 119-119 | 子類 通信衛星 and 人造衛星 |
(termFormat ChineseLanguage ArtificialSatellite "人造卫星") | domainEnglishFormat.kif 8526-8526 | |
(termFormat ChineseTraditionalLanguage ArtificialSatellite "人造衛星") | domainEnglishFormat.kif 8525-8525 | |
(termFormat EnglishLanguage ArtificialSatellite "artificial satellite") | domainEnglishFormat.kif 8524-8524 | |
(termFormat EnglishLanguage ArtificialSatellite "satellite") | Communications.kif 114-114 |
consequent |
(=> (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 | |
(=> (instance ?TV SatelliteTelevisionSystem) (exists (?SAT ?RECEIVE) (and (instance ?SAT ArtificialSatellite) (member ?SAT ?TV) (instance ?RECEIVE TelevisionReceiver) (member ?RECEIVE ?TV)))) |
Communications.kif 349-356 |
|