StormFront(storm front) | front |
appearance as argument number 1 |
(documentation StormFront EnglishLanguage "The Region where two or more unstable air masses meet.") | Mid-level-ontology.kif 9296-9297 | |
(externalImage StormFront "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Rolling-thunder-cloud-a.jpg") | pictureList.kif 4830-4830 | |
(subclass StormFront AtmosphericRegion) | Mid-level-ontology.kif 9295-9295 | Storm front is a subclass of atmospheric region |
appearance as argument number 2 |
(termFormat ChineseLanguage StormFront "暴风雨前线") | domainEnglishFormat.kif 55552-55552 | |
(termFormat ChineseTraditionalLanguage StormFront "暴風雨前線") | domainEnglishFormat.kif 55551-55551 | |
(termFormat EnglishLanguage StormFront "storm front") | domainEnglishFormat.kif 55550-55550 |
antecedent |
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 9299-9305 |
|