Fog - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Fog WaterCloud)	Mid-level-ontology.kif 10333-10333	Fog is a subclass of water cloud
(documentation Fog EnglishLanguage "Any WaterCloud that is in contact with the ground.")	Mid-level-ontology.kif 10334-10334	Fog is a subclass of water cloud
(externalImage Fog "http://upload.wikimedia.org/wikipedia/commons/1/14/Mount_Lushan_-_fog.JPG")	pictureList.kif 1764-1764	Fog is a subclass of water cloud
(externalImage Fog "http://upload.wikimedia.org/wikipedia/commons/5/5a/GGB_in_fog_2007.JPG")	pictureList.kif 2173-2173	Fog is a subclass of water cloud

appearance as argument number 2

(termFormat EnglishLanguage Fog "fog")	domainEnglishFormat.kif 24466-24466
(termFormat ChineseTraditionalLanguage Fog "霧")	domainEnglishFormat.kif 24467-24467
(termFormat ChineseLanguage Fog "雾")	domainEnglishFormat.kif 24468-24468

antecedent

(=>
    (instance ?FOG Fog)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?FOG ?LAND))))

If X is an instance of fog, then there exists Y such that Y is an instance of land area and X meets Y