|
|
   Thunder
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Thunder EnglishLanguage "Any instance of RadiatingSound which is caused by an instance of Lightning.") | Mid-level-ontology.kif 3045-3046 | |
| (externalImage Thunder "http://articulatesoftware.com/SUMOpictures/weather/ thunder.png") | pictureList.kif 779-779 | |
| (subclass Thunder RadiatingSound) | Mid-level-ontology.kif 3044-3044 | Thunder ist eine teilkategorie von RadiatingSound |
| (subclass Thunder WeatherProcess) | Mid-level-ontology.kif 3043-3043 | Thunder ist eine teilkategorie von WeatherProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Thunder "雷") | domainEnglishFormat.kif 57970-57970 | |
| (termFormat ChineseTraditionalLanguage Thunder "雷") | domainEnglishFormat.kif 57969-57969 | |
| (termFormat EnglishLanguage Thunder "thunder") | domainEnglishFormat.kif 57968-57968 |
| antecedent |
|
|
| (=> (instance ?T Thunder) (exists (?L) (and (instance ?L Lightning) (causes ?L ?T)))) |
Mid-level-ontology.kif 3048-3053 |
|
|
|
|
