No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5706-5706 |
Pruritus is a subclass of tactile perception |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1221-1221 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1663-1663 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 899-899 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 432-432 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 435-435 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2583-2583 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 851-851 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 471-471 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 920-920 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 436-436 |
|