PropertyFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2135-2136 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4277-4278 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 790-791 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4274-4274 | 属于财产函数 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4273-4273 | 属于财产函数 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4272-4272 | 属于财产函数 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4275-4275 | 属于财产函数 的 range 是 集合 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 269-269 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 274-274 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 153-153 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 236-236 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1981-1981 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 105-105 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 163-163 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 347-347 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 274-274 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 172-172 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 159-159 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 428-428 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 270-270 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47810-47810 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47809-47809 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47808-47808 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 111-111 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1452-1457 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 147-154 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1696-1704 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1902-1914 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 479-490 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2744-2757 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4280-4283 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7807-7811 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 599-604 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1127-1140 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 147-154 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 45-52 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11437-11442 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7801-7805 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 103-108 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 110-117 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1691-1694 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4285-4288 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 615-620 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1727-1739 |