Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Doll
Doll

appearance as argument number 1
-------------------------


(documentation Doll EnglishLanguage "A Toy that represents some AutonomousAgent, typically a Human or Animal (which could also be fictional).") Mid-level-ontology.kif 2387-2388
(subclass Doll Toy) Mid-level-ontology.kif 2386-2386

appearance as argument number 2
-------------------------


(subclass AnimalDoll Doll) Mid-level-ontology.kif 2398-2398
(subclass HumanDoll Doll) Mid-level-ontology.kif 2409-2409
(termFormat EnglishLanguage Doll "doll") Mid-level-ontology.kif 2389-2389

antecedent
-------------------------


(=>
    (instance ?D Doll)
    (exists (?A)
        (and
            (instance ?A AutonomousAgent)
            (represents ?D ?A))))
Mid-level-ontology.kif 2391-2396


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners