Mud - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Mud EnglishLanguage "A Mixture of Soil and Water.")	Cars.kif 4967-4967
(subclass Mud Soil)	Cars.kif 4966-4966	Mud ist eine teilkategorie von Soil

appearance as argument number 2

(termFormat EnglishLanguage Mud "mud")

Cars.kif 4968-4968

antecedent

(=>
    (instance ?M Mud)
    (exists (?W)
        (and
            (instance ?W Water)
            (part ?W ?M))))

Cars.kif 4970-4975

Wenn Object ist ein fall von Mud %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von Water %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}

consequent

(=>
    (instance ?MT MudTire)
    (hasPurpose ?MT
        (exists (?M)
            (and
                (instance ?M Mud)
                (meetsSpatially ?MT ?M)))))

Cars.kif 4983-4989

Wenn Physical ist ein fall von MudTire %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von Mud %n{nicht} und ** Physical schliesst ** entity raeumlich an %n{nicht}