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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Doll

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 DollToysubclass では %n

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


(subclass AnimalDoll Doll) Mid-level-ontology.kif 2398-2398 AnimalDollDollsubclass では %n
(subclass HumanDoll Doll) Mid-level-ontology.kif 2409-2409 HumanDollDollsubclass では %n
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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