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 9105-9106 | |
(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 9104-9104 | Storm front is a subclass of atmospheric region |
appearance as argument number 2 |
(termFormat ChineseLanguage StormFront "暴风雨前线") | domainEnglishFormat.kif 55514-55514 | |
(termFormat ChineseTraditionalLanguage StormFront "暴風雨前線") | domainEnglishFormat.kif 55513-55513 | |
(termFormat EnglishLanguage StormFront "storm front") | domainEnglishFormat.kif 55512-55512 |
antecedent |
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 9108-9114 |
|