authors |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3561-3562 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15460-15463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15456-15456 | 作者 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15457-15457 | 作者 的 2 数量 是 有内用物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15455-15455 | 作者 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15454-15454 | 作者 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 531-531 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 536-536 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 313-313 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 30-30 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2081-2081 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 265-265 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 64-64 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 692-692 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 74-74 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 334-334 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 345-345 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 76-76 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 532-532 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9161-9161 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9160-9160 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 77-77 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15400-15407 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15431-15440 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 940-949 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15466-15472 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21089-21101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21066-21080 |