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

KB Term:  Term intersection
English Word: 

Sigma KEE - Bored
Bored(bored)

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


(instance Bored BiologicalAttribute) Mid-level-ontology.kif 21742-21742 Bored is an instance of biological attribute

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


(termFormat EnglishLanguage Bored "bored") domainEnglishFormat.kif 64390-64390
(termFormat ChineseLanguage Bored "悶") domainEnglishFormat.kif 64391-64391
(termFormat ChineseTraditionalLanguage Bored "悶") domainEnglishFormat.kif 64392-64392

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


(=>
    (attribute ?A Bored)
    (exists (?DO)
        (and
            (instance ?DO IntentionalProcess)
            (agent ?DO ?A)
            (holdsDuring
                (WhenFn ?DO)
                (desires ?A
                    (not
                        (agent ?DO ?A)))))))		 Mid-level-ontology.kif 21746-21755 If bored is an attribute of X, then there exists Y such that Y is an instance of intentional process, X is an agent of Y, and X desires X is not an agent of Y holds during the time of existence 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