TreeView Knowledge Base Browser

appearance as argument number 1

Mid-level-ontology.kif 5705-5705

Itching e' uma sub-classe de Percepcao Tactil

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 5709-5711
(termFormat EnglishLanguage Itching "itching")	Mid-level-ontology.kif 5706-5706
(termFormat EnglishLanguage Itching "pruritus")	Mid-level-ontology.kif 5707-5707

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 5724-5735

Processo e' uma instancia de Itching Processo e' situado em Objeto Objeto e' uma &parte de Agente Cognitivo Agente Cognitivo experimenta Processo
Agente Cognitivo deseja Entidade Entidade e' uma instancia de Scratching tempo de existencia de Entidade acontece durante tempo de existencia de Processo Entidade e' situado em Objeto

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 5748-5758

Processo e' uma instancia de SkinRash AutonomousAgent experimenta Processo
o argumento Entidade Entidade e' uma instancia de Itching AutonomousAgent experimenta Entidade tempo de existencia de Entidade acontece durante tempo de existencia de Processo tem a forca modal de Likely

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

KB Term:			Term intersection

English Word: