appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3308-3309 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13606-13607 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13605-13605 | Perception is a subclass of psychological process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13736-13736 | Hearing is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13675-13675 | Seeing is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13710-13710 | Smelling is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13785-13785 | Tactile perception is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13723-13723 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1216-1216 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1653-1653 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 894-894 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 427-427 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 430-430 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2578-2578 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 846-846 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 466-466 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 725-725 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 915-915 | Tasting is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 431-431 | Tasting is a subclass of perception |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13643-13643 | The number 1 argument of sense impairment is a subclass of perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13663-13663 | The number 1 argument of no ability of is a subclass of perception |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13609-13613 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17801-17808 |
|
consequent |
![]() |
![]() |
![]() |