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 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4273-4273 | 例 屬性 and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4272-4272 | 例 屬性 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4275-4275 | 範圍 屬性 and Set |
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 |
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 |
|