Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArtificialSatellite(satellite) |  | artificial_satellite, orbiter, satellite |
| appearance as argument number 1 |
|
|
| (subclass ArtificialSatellite Satellite) | Mid-level-ontology.kif 27369-27369 | Satellite is a subclass of satellite |
| (subclass ArtificialSatellite EngineeringComponent) | Mid-level-ontology.kif 27370-27370 | Satellite is a subclass of engineering component |
| (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.") | Mid-level-ontology.kif 27372-27374 | Satellite is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| 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 27396-27404 | 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 |
| (=> (instance ?TV SatelliteTelevisionSystem) (exists (?SAT ?RECEIVE) (and (instance ?SAT ArtificialSatellite) (member ?SAT ?TV) (instance ?RECEIVE TelevisionReceiver) (member ?RECEIVE ?TV)))) |
Communications.kif 402-409 | If X is an instance of satellite tv, then there exist Y, Z such that Y is an instance of satellite, Y is a member of X, Z is an instance of TV, and Z is a member of X |
|