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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tired

Sigma KEE - Tired
Tired

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


(documentation Tired EnglishLanguage "The Attribute that applies to Humans when they desires not to be doing somthing that they are doing now.") Mid-level-ontology.kif 19852-19853
(documentation Tired EnglishLanguage "The Attribute that applies to Humans when they desires to be Asleep.") Mid-level-ontology.kif 19840-19841
(instance Tired BiologicalAttribute) Mid-level-ontology.kif 19839-19839

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


(termFormat ChineseLanguage Tired "疲倦") domainEnglishFormat.kif 64386-64386
(termFormat ChineseTraditionalLanguage Tired "憊纍") domainEnglishFormat.kif 64387-64387
(termFormat EnglishLanguage Tired "tired") domainEnglishFormat.kif 64385-64385

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


(=>
    (attribute ?A Tired)
    (desires ?A
        (exists (?S)
            (and
                (instance ?S Sleeping)
                (agent ?S ?A)))))
Mid-level-ontology.kif 19843-19849


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