Itching - Sigma Knowledge base Browser

appearance as argument number 1

Mid-level-ontology.kif 5706-5706

appearance as argument number 2

(documentation EnglishLanguage Itching "Itch (also known as pruritus) is a sensation that causes the desire or reflex to scratch. [from Wikipedia]")	Mid-level-ontology.kif 5710-5712
(termFormat EnglishLanguage Itching "itching")	Mid-level-ontology.kif 5707-5707
(termFormat EnglishLanguage Itching "pruritus")	Mid-level-ontology.kif 5708-5708

antecedent

(=>
    (and
        (instance ?I Itching)
        (located ?I ?P)
        (part ?P ?H)
        (experiencer ?I ?H))
    (desires ?H
        (exists (?S)
            (and
                (instance ?S Scratching)
                (during
                    (WhenFn ?S)
                    (WhenFn ?I))
                (located ?S ?P)))))

Mid-level-ontology.kif 5725-5736

如果过程是 Itching 的 instance 和那个过程是 located 在客体和那个客体是有认知的主事的 part 和那个有认知的主事经历了那个过程，
然后那个有认知的主事 desires 有存在实体这样那个实体是 Scratching 的 instance 和那个实体出现的 time 在那个过程出现的 time 时段内发生和那个实体是 located 在那个客体

consequent

(=>
    (and
        (instance ?S SkinRash)
        (experiencer ?S ?H))
    (modalAttribute
        (exists (?I)
            (and
                (instance ?I Itching)
                (experiencer ?I ?H)
                (during
                    (WhenFn ?I)
                    (WhenFn ?S)))) Likely))

Mid-level-ontology.kif 5749-5759

如果过程是 SkinRash 的 instance 和施事体经历了那个过程，
然后有存在实体这样那个实体是 Itching 的 instance 和那个施事体经历了那个实体和那个实体出现的 time 在那个过程出现的 time 时段内发生的声明 has 容易的语气

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: