height |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2642-2642 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7553-7554 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1358-1359 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7550-7550 | 高度 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7551-7551 | 高度 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7549-7549 | 高度 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7548-7548 | 高度 是 linearExtent 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 619-619 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 622-622 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 374-374 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 127-127 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2108-2108 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 326-326 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 812-812 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 167-167 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 396-396 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 415-415 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 260-260 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 620-620 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27878-27878 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27877-27877 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 261-261 |
antecedent |
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 211-217 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4401-4405 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6259-6268 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4206-4216 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31091-31096 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31098-31103 | |
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 2823-2836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13365-13374 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13349-13357 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1662-1674 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1235-1247 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1155-1167 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1900-1912 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1189-1201 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1860-1872 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1788-1800 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1744-1756 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1542-1554 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 121-138 |
|