width |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2640-2641 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7545-7546 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1356-1357 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7542-7542 | 宽度 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7541-7541 | 宽度 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7543-7543 | 宽度 是 linearExtent 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 615-615 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 618-618 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 372-372 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 316-316 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2106-2106 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 324-324 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 806-806 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 350-350 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 394-394 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 413-413 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 508-508 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 616-616 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63074-63074 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63073-63073 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 874-880 | |
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. | MilitaryDevices.kif 233-245 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 250-262 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2632-2641 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 219-228 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9760-9766 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1243-1248 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1230-1235 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31079-31084 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31072-31077 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13398-13407 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13382-13390 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9768-9774 |
|
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. | WMD.kif 205-211 | |
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. | WMD.kif 1179-1184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3841-3845 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3784-3788 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3815-3819 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3867-3871 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 830-835 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 121-138 |
|