Abstract
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1705-1707 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1672-1676 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 306-310 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9869-9869 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10352-10352 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10353-10353 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10354-10354 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | 抽象体 是 实体 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | 属性 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | 串列 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | 流程任务 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | 命题 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | 数量 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | 关系 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | 集或类 是 抽象体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 853-853 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 908-908 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 529-529 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 60-60 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 63-63 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2214-2214 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 481-481 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 65-65 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 96-96 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 550-550 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 64-64 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6111-6111 | abstractCounterpart 的 1 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | 抽象的部分 的 1 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | 抽象的部分 的 2 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1661-1661 | 成就 的 3 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1647-1647 | 基准 的 1 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 83-83 | offers 的 2 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | 实体 详尽无遗地 partition 成 物理 和 抽象体 |