path |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3000-3001 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11100-11102 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1762-1764 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11097-11097 | Le nombre 1 argument de path est une instance de d�palcement |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11098-11098 | Le nombre 2 argument de path est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11092-11092 | path est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11093-11093 | path est une instance de relation total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11096-11096 | path est une sous-relation de eventPartlyLocated |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 575-575 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 580-580 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 341-341 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 216-216 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2097-2097 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 293-293 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 349-349 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 755-755 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 254-254 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 363-363 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 378-378 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 408-408 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 576-576 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44765-44765 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44764-44764 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29767-29776 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 620-630 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3901-3911 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3913-3929 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 295-302 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 281-288 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1259-1263 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17783-17787 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4054-4069 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11104-11114 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2003-2012 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1247 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1609-1613 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2942-2947 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2949-2957 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6594-6606 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2653-2658 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2660-2665 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2637-2643 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1108-1117 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 491-503 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1147-1155 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 548-564 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2671-2679 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2849-2878 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3026-3034 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15621-15636 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2696-2709 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1078-1085 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3270-3285 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 730-740 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5582-5588 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3826-3842 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2370-2372 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |