Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Tired
Tired(tired)

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


(instance Tired BiologicalAttribute) Mid-level-ontology.kif 21714-21714 Tired is an instance of biological attribute
(documentation Tired EnglishLanguage "The Attribute that applies to Humans when they desires to be Asleep.") Mid-level-ontology.kif 21715-21716 Tired is an instance of biological attribute
(documentation Tired EnglishLanguage "The Attribute that applies to Humans when they desires not to be doing something that they are doing now.") Mid-level-ontology.kif 21743-21744 Tired is an instance of biological attribute

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


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

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


(=>
    (attribute ?A Tired)
    (desires ?A
        (exists (?S)
            (and
                (instance ?S Sleeping)
                (agent ?S ?A)))))		 Mid-level-ontology.kif 21718-21724 If tired is an attribute of X, then X desires there exists Y such that Y is an instance of sleeping and X is an agent of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners