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 9555-9558 | |
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 9551-9551 | Le nombre 1 argument de connects est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9552-9552 | Le nombre 2 argument de connects est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9553-9553 | Le nombre 3 argument de connects est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9549-9549 | connects est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9550-9550 | connects est une instance de pr�dicat ternaire |
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 16179-16179 | connectsEngineeringComponents est une sous-relation de connects |
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 9584-9586 | |
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 9568-9574 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9560-9562 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9576-9582 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15096-15106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12357-12363 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5629-5638 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15072-15084 |
|
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 9564-9566 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9584-9586 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11177-11183 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15050-15056 | |
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 15275-15283 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11706-11714 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15112-15118 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11326-11332 | |
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 9448-9454 | |
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 1247-1264 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |