Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Meteorite
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Meteorite Meteoroid) | Merge.kif 1021-1021 | Meteorite is a subclass of meteoroid |
| (documentation Meteorite EnglishLanguage "Any Meteoroid that leaves traces on the surface of Earth.") | Merge.kif 1022-1023 | Meteorite is a subclass of meteoroid |
| (externalImage Meteorite "http://upload.wikimedia.org/wikipedia/commons/ c/ cc/ Willamette_Meteorite_AMNH.jpg") | pictureList.kif 1493-1493 | Meteorite is a subclass of meteoroid |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 4832-4836 | If X is an instance of meteorite, then there exists Y such that X meets planet earth holds during Y |
| consequent |
|
|
| (=> (instance ?C Crater) (exists (?HOST ?EVENT ?METEOR ?BOMB) (and (hole ?C ?HOST) (superficialPart ?SURF (HoleHostFn ?C)) (or (and (instance ?EVENT Impacting) (instrument ?EVENT ?METEOR) (instance ?METEOR Meteorite)) (and (instance ?EVENT Explosion) (instrument ?EVENT ?BOMB) (instance ?BOMB Bomb)) (instance ?EVENT VolcanicEruption)) (result ?EVENT ?C)))) |
Merge.kif 1059-1075 | If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z |
|
