Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   NaturalSatellite
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NaturalSatellite Satellite) | Geography.kif 4793-4793 | Natural satellite is a subclass of satellite |
| (subclass NaturalSatellite AstronomicalBody) | Geography.kif 4794-4794 | Natural satellite is a subclass of astronomical body |
| (disjoint NaturalSatellite Artifact) | Geography.kif 4795-4795 | Natural satellite is disjoint from artifact |
| (documentation NaturalSatellite EnglishLanguage "NaturalSatellite is the class of large, naturally occurring astronomical bodies orbiting some other AstronomicalBody.") | Geography.kif 4797-4799 | Natural satellite is disjoint from artifact |
| appearance as argument number 2 |
|
|
|