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 3052-3053 | |
(externalImage Thunder "http://articulatesoftware.com/SUMOpictures/weather/ thunder.png") | pictureList.kif 779-779 | |
(subclass Thunder RadiatingSound) | Mid-level-ontology.kif 3051-3051 | Thunder is a subclass of radiating sound |
(subclass Thunder WeatherProcess) | Mid-level-ontology.kif 3050-3050 | Thunder is a subclass of weather process |
appearance as argument number 2 |
(termFormat ChineseLanguage Thunder "雷") | domainEnglishFormat.kif 57968-57968 | |
(termFormat ChineseTraditionalLanguage Thunder "雷") | domainEnglishFormat.kif 57967-57967 | |
(termFormat EnglishLanguage Thunder "thunder") | domainEnglishFormat.kif 57966-57966 |
antecedent |
(=> (instance ?T Thunder) (exists (?L) (and (instance ?L Lightning) (causes ?L ?T)))) |
Mid-level-ontology.kif 3055-3060 |
|