SandStorm - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SandStorm EnglishLanguage "SandStorms are DustStorms in which the particles are Sand.")	Weather.kif 1297-1298
(subclass SandStorm DustStorm)	Weather.kif 1296-1296	Sand storm is a subclass of dust storm

appearance as argument number 2

(termFormat ChineseLanguage SandStorm "沙暴")	domainEnglishFormat.kif 51081-51081
(termFormat ChineseTraditionalLanguage SandStorm "沙暴")	domainEnglishFormat.kif 51080-51080
(termFormat EnglishLanguage SandStorm "sand storm")	domainEnglishFormat.kif 51079-51079

antecedent

(=>
    (instance ?SS SandStorm)
    (exists (?SAND)
        (and
            (instance ?SAND Sand)
            (objectTransferred ?SS ?SAND))))

Weather.kif 1301-1306

If a transfer is an instance of sand storm,
then there exists an object such that the object is an instance of sand and the object transferred in the transfer is the object