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



KB Term:  Term intersection
English Word: 

Sigma KEE - Curiosity
Curiosity(intrigued)curiosity, curiousness, desire_to_know, inquisitiveness, interest, involvement, lust_for_learning, thirst_for_knowledge, wonder

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


(instance Curiosity EmotionalState) emotion.kif 1761-1761 Intrigued is an instance of emotional state
(documentation Curiosity EnglishLanguage "Curiosity is a quality related to inquisitive thinking, such as exploration, investigation, and learning, evident in humans and other animals.[Wikipedia]") emotion.kif 1762-1764 Intrigued is an instance of emotional state

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


(relatedInternalConcept Interested Curiosity) emotion.kif 704-704 Interest is internally related to intrigued
(utterance EnglishLanguage Curiosity "curious") emotion.kif 1760-1760 utterance english language, intrigued and "curious"
(termFormat EnglishLanguage Curiosity "curiosity") emotion.kif 1765-1765 utterance english language, intrigued and "curious"
(termFormat EnglishLanguage Curiosity "intrigued") emotion.kif 1766-1766 utterance english language, intrigued and "curious"

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


(=>
    (holdsDuring ?T
        (attribute ?A Curiosity))
    (exists (?P)
        (and
            (instance ?P Physical)
            (desires ?A
                (exists (?L)
                    (and
                        (instance ?L Learning)
                        (patient ?L ?P)
                        (agent ?L ?A)
                        (during ?T
                            (WhenFn ?L))))))))
emotion.kif 1768-1781 If intrigued is an attribute of X holds during Y, then there exists Z such that Z is an instance of physical, X desires there exists W such that W is an instance of learning, Z is a patient of W, X is an agent of W, and Y takes place during the time of existence of W


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