appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3114-3116 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12120-12125 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12119-12119 | Classifying is a subclass of intentional psychological process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2085-2085 | Ordering parts is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 449-449 | Terminal attack control is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 501-501 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1145-1145 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1507-1507 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 823-823 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 355-355 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 358-358 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2507-2507 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 775-775 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 360-360 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 394-394 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 653-653 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 844-844 | Terminal guidance is a subclass of classifying |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 359-359 | Terminal guidance is a subclass of classifying |
consequent |
![]() |
![]() |
![]() |