Transportation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3064-3065 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11597-11598 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1832-1833 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6929-6929 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8119-8119 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8120-8120 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11595-11595 | 运输 和 运输设备 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11594-11594 | 运输 是 易位 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1567-1567 | 运输 的所得值 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1584-1584 | 旅 的所得值 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17685-17685 | 航空运输 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11613-11613 | 驾驶 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17767-17767 | 陆运 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | MoveToEvac 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7693-7693 | 运输 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | 走私 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17698-17698 | 太空运输 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17790-17790 | 通过公路车辆运输 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17739-17739 | 水运 是 运输 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1129-1129 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1475-1475 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 807-807 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 339-339 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 342-342 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2491-2491 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 759-759 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 344-344 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 378-378 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 828-828 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 343-343 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23533-23533 | 运输工具 的 1 数量 是 运输 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22858-22858 | 运输 的 1 数量 是 运输 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23575-23581 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23583-23589 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23591-23598 | |
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. | Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15451-15459 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 789-795 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23536-23541 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23556-23563 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1852-1864 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17410-17415 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11600-11605 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8387-8400 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 108-122 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2554-2569 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8707-8727 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8034-8059 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8344-8364 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8253-8275 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1766-1776 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1748-1758 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 144-169 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2610-2615 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1906-1921 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25501-25509 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4768-4778 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 177-185 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1972-1983 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7179-7185 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2127-2137 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3223-3231 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15970-15972 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |