Set
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1811-1815 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2150-2157 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 428-433 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2148-2148 | 集合 是 集或类 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2129-2129 | 集或类 详尽无遗地 partition 成 集合 和 类 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4275-4275 | 属于财产函数 的 range 是 集合 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5537-5537 | 有限集合 是 集合 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5527-5527 | 非空集 是 集合 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5516-5516 | 空集 是 集合 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 205-205 | 方程组 是 集合 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 887-887 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 976-976 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 563-563 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 93-93 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 96-96 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2248-2248 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 515-515 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 98-98 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 130-130 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 584-584 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 97-97 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5415-5415 | 元素 的 2 数量 是 集合 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5393-5393 | 子集 的 1 数量 是 集合 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5394-5394 | 子集 的 2 数量 是 集合 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31316-31323 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31179-31184 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31112-31117 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31157-31162 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31091-31096 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31060-31065 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31011-31016 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31208-31213 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31348-31353 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31230-31235 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31273-31278 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31079-31084 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|