TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Mud Soil)	Cars.kif 4873-4873	Mud is a subclass of soil
(documentation Mud EnglishLanguage "A Mixture of Soil and Water.")	Cars.kif 4874-4874	Mud is a subclass of soil

appearance as argument number 2

(termFormat EnglishLanguage Mud "mud")

antecedent

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

If X is an instance of mud, then there exists Y such that Y is an instance of water and Y is a part of X

consequent

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

If X is an instance of mud tyre, then X has the purpose there exists Y such that Y is an instance of mud and X meets Y