connects |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2825-2827 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9533-9536 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1567-1569 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9529-9529 | 域 連接, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9530-9530 | 域 連接, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9531-9531 | 域 連接, 3 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9527-9527 | 例 連接 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9528-9528 | 例 連接 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 363-363 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 366-366 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 210-210 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 54-54 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2017-2017 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 162-162 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 217-217 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 483-483 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 95-95 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 230-230 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 227-227 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 124-124 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16157-16157 | 子關係 連接工程組件 and 連接 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 364-364 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16661-16661 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16660-16660 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 125-125 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2870-2876 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5305-5310 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9562-9564 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5288-5290 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9546-9552 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9538-9540 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9554-9560 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15097-15107 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12335-12341 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5630-5639 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15073-15085 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5132-5145 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5380-5395 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1745-1756 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1695-1706 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9542-9544 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9562-9564 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11178-11184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15051-15057 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5599-5605 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5322-5328 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5498-5505 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5489-5496 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15276-15284 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11707-11715 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15090-15096 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11327-11333 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4783-4789 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9449-9455 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3637-3648 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1246-1263 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |