| 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 25076-25084 | |
| (=> (instance ?TV SatelliteTelevisionSystem) (exists (?SAT ?RECEIVE) (and (instance ?SAT ArtificialSatellite) (member ?SAT ?TV) (instance ?RECEIVE TelevisionReceiver) (member ?RECEIVE ?TV)))) |
Communications.kif 349-356 |
|
|
|
|