| appearance as argument number 1 |
|
| (subclass Itching TactilePerception) | Mid-level-ontology.kif 6662-6662 |
| 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 6666-6668 | |
| (termFormat EnglishLanguage Itching "itching") | Mid-level-ontology.kif 6663-6663 | |
| (termFormat EnglishLanguage Itching "pruritus") | Mid-level-ontology.kif 6664-6664 |
| 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 6681-6692 |
| 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 6705-6715 |
|
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