prevents |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2148-2150 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4399-4401 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 804-806 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4394-4394 | The number 1 argument of prevents is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4395-4395 | The number 2 argument of prevents is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4392-4392 | prevents is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4393-4393 | prevents is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4397-4397 | prevents is internally related to hinders |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4396-4396 | prevents is internally related to prevents subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 221-221 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 222-222 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 229-229 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1959-1959 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 82-82 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 287-287 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 267-267 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 149-149 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 135-135 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 421-421 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47278-47278 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 222-222 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47277-47277 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47276-47276 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 92-92 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4403-4413 |
|
consequent |
![]() |
![]() |
![]() |