bottom |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2843-2844 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9712-9713 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1587-1588 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9709-9709 | 底部 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9710-9710 | 底部 的 2 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9708-9708 | 底部 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9707-9707 | 底部 是 表面部分 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 359-359 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 362-362 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 208-208 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 39-39 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2015-2015 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 160-160 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 73-73 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 477-477 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 81-81 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 228-228 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 224-224 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 94-94 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 360-360 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11746-11746 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11745-11745 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 95-95 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9715-9720 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9776-9781 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4698-4708 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5646-5653 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17517-17522 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17517-17522 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1651-1672 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1157-1165 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7740-7745 |
|
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. | Mid-level-ontology.kif 25189-25195 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5199-5204 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4107-4118 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2830-2855 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3035-3062 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17572-17578 |
|