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 4372-4374 | |
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 4367-4367 | 阻止 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4368-4368 | 阻止 的 2 数量 是 过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4364-4364 | 阻止 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4365-4365 | 阻止 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4366-4366 | 阻止 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4370-4370 | 阻止 和 hinders 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4369-4369 | 阻止 和 preventsSubclass 是 内部相关 |
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 47276-47276 | |
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 47275-47275 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47274-47274 | |
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 4376-4386 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1478-1488 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3531-3552 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30707-30727 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2193-2203 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2032-2042 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3482-3509 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 89-96 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1472-1492 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3355-3373 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3704 |