side |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2847-2848 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9742-9743 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1591-1592 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9739-9739 | 边 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9740-9740 | 边 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9738-9738 | 边 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9737-9737 | 边 是 表面部分 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 387-387 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 393-393 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 222-222 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 262-262 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2028-2028 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 174-174 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 519-519 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 299-299 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 242-242 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 239-239 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 454-454 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52934-52934 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 388-388 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52933-52933 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52932-52932 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4165-4169 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4176-4180 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9745-9751 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9753-9758 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9768-9774 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2782-2795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2803-2816 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4476-4484 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 910-912 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 891-893 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26009-26014 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9760-9766 |
|