distance |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2655-2657 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7684-7689 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1372-1375 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7680-7680 | 距离 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7681-7681 | 距离 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7682-7682 | 距离 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7676-7676 | 距离 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7677-7677 | 距离 是 空间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7678-7678 | 距离 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7679-7679 | 距离 是 总值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 621-621 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 624-624 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 375-375 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 78-78 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2109-2109 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 327-327 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 112-112 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 815-815 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 118-118 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 397-397 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 417-417 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 171-171 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7725-7725 | 深度 是 距离 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 622-622 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19937-19937 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19936-19936 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 172-172 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 874-880 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1417-1436 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1395-1413 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 837-850 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 863-872 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 852-861 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11082-11092 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1295-1315 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17947-17962 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17906-17931 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7691-7693 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9768-9774 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4711-4720 | 公海 是 客体 的 attribute 若且唯若 有存在 物理 和 实数 这样 那个 客体 是 盐水区 的 instance 和 那个 客体 不 是 内陆水域 的 instance 和 那个 物理 和 那个 客体 的 distance 是 那个 实数 海里 和 那个 实数 是 greaterThan 5.0 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7718-7723 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7695-7697 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9776-9781 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1943-1965 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 759-769 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17638-17656 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17616-17634 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 693-706 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4697-4703 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 751-768 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 737-749 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1295-1315 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17947-17962 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2728-2748 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2750-2771 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2709-2726 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7740-7745 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7691-7693 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1914-1920 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 825-828 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1420-1440 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |