Physical
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1550-1551 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 835-837 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 120-121 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 139-140 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | 物理 详尽无遗地 partition 成 客体 和 过程 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | 物理 是 实体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | 实体 详尽无遗地 partition 成 物理 和 抽象体 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | 内容承载物理 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 41-41 | 金融资产 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | 客体 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | 物理系统 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | 过程 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 814-814 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 830-830 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 490-490 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 24-24 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 26-26 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2175-2175 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 442-442 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 27-27 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 27-27 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8468-8468 | 何时函数 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4222-4222 | 表示位置的函数 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6112-6112 | abstractCounterpart 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7702-7702 | 海拔 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7703-7703 | 海拔 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24181-24181 | 周年 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2120-2120 | attitudeForObject 的 3 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8389-8389 | 同时发生 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8390-8390 | 同时发生 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3817-3817 | courseWRT罗盘北 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3818-3818 | courseWRT罗盘北 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3785-3785 | courseWRT北磁 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3786-3786 | courseWRT北磁 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3722-3722 | courseWRT 真北 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3723-3723 | courseWRT 真北 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8544-8544 | 日期 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2555-2555 | 日期解散 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 978-978 | 建立日期 的 1 数量 是 物理 的 instance |
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. | Law.kif 178-178 | evidence 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5428-5428 | 流动 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5429-5429 | 流动 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3945-3945 | 意图 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3961-3961 | 主事的意图 的 1 数量 是 物理 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29963-29972 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7960-7967 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1416-1425 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8249-8256 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12984-12997 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25580-25585 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 839-844 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1066-1070 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26594-26602 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2845-2870 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2922-2940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2715-2719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26586-26588 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 240-255 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15872-15877 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12970-12982 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 943-948 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2242-2259 |