TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Doll Toy)	Mid-level-ontology.kif 2992-2992	Doll is a subclass of toy
(documentation Doll EnglishLanguage "A Toy that represents some AutonomousAgent, typically a Human or Animal (which could also be fictional).")	Mid-level-ontology.kif 2993-2994	Doll is a subclass of toy

appearance as argument number 2

(termFormat EnglishLanguage Doll "doll")	Mid-level-ontology.kif 2995-2995
(subclass AnimalDoll Doll)	Mid-level-ontology.kif 3004-3004	Toy animal is a subclass of doll
(subclass HumanDoll Doll)	Mid-level-ontology.kif 3015-3015	Human doll is a subclass of doll

antecedent

(=>
    (instance ?D Doll)
    (exists (?A)
        (and
            (instance ?A AutonomousAgent)
            (represents ?D ?A))))

If X is an instance of doll, then there exists Y such that Y is an instance of agent and X expresses Y