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 11078-11080 | |
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 11075-11075 | 路径 的 1 数量 是 运动 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11076-11076 | 路径 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11070-11070 | 路径 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11071-11071 | 路径 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11074-11074 | 路径 是 eventPartlyLocated 的 subrelation |
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 29779-29788 | |
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 3893-3903 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3905-3921 |
|
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 17784-17788 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4046-4061 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11082-11092 |
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 6595-6607 | |
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 1107-1116 | |
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 1146-1154 | |
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 2665-2673 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2843-2872 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3020-3028 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15622-15637 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2690-2703 |
|
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 3262-3277 |
|
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 3818-3834 |
|
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 |