Proton
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1615-1615 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1165-1166 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 193-194 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 229-230 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1163-1163 | 质子 是 次原子粒子 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 825-825 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 852-852 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 501-501 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 34-34 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 37-37 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2186-2186 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 453-453 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 68-68 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 522-522 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 38-38 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13778-13790 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1113-1120 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1149-1156 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21688-21703 |