Itching
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | Pruritus is a subclass of tactile perception |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5704-5706 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5701-5701 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5702-5702 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5719-5730 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5743-5753 |
|