disjointDecomposition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1515-1516 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 571-572 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 80-81 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 92-93 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 566-566 | 不相交的分拆 的 1 数量 是 类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 567-567 | 不相交的分拆 的 2 数量 是 类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 564-564 | 不相交的分拆 是 谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 565-565 | 不相交的分拆 是 不定次元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 569-569 | 不相交的分拆 和 不相交 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 568-568 | 不相交的分拆 和 彻底的分拆 是 内部相关 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 287-287 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 166-166 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 76-76 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1986-1986 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 118-118 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 110-110 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 373-373 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 186-186 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 173-173 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 168-168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19854-19854 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 288-288 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19853-19853 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19852-19852 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 169-169 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 596-600 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2968-2973 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2950-2955 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2957-2966 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 574-578 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 590-594 |
|
appearance as argument number 0 |
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. | Merge.kif 14525-14525 | 节肢动物 分拆成不相交的 蛛形䋞动物, 多足动物, 昆虫, 和 甲壳类动物 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14547-14547 | 冷血脊椎动物 分拆成不相交的 两栖动物, 鱼, 和 爬虫类 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 283-284 | 委任军官级别 分拆成不相交的 国旗官员级别, 现场等级军官等级, 和 公司等级排名 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3215-3215 | 电脑状态 分拆成不相交的 准备好主持, 主持人, 和 啟動中 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 180-180 | 微分方程 分拆成不相交的 一阶微分方程 和 高阶微分方程 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 190-190 | 微分方程 分拆成不相交的 常微分方程 和 偏微分方程 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 269-269 | 士兵军衔 分拆成不相交的 私人排名 和 非委任军官级别 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12944-12944 | 表示 分拆成不相交的 表示赞同 和 表示不赞成 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16977-16977 | 游戏神器 分拆成不相交的 游戏板 和 游戏片 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14504-14504 | 无脊椎动物 分拆成不相交的 蠕虫, 软体动物, 和 节肢动物 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 37-37 | LAN 分拆成不相交的 公交网络, 星网, 和 环网 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1406-1406 | 语言 分拆成不相交的 兽语, 人类语言, 和 电算机语言 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14581-14581 | 哺乳动物 分拆成不相交的 水生哺乳动物, 有蹄哺乳动物, 有袋动物, 啮齿动物, 和 灵长类动物 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3505-3505 | NSAID 分拆成不相交的 Aspirin, Ibuprofen, 和 Acetaminophen |
No TPTP formula. May not be expressible in strict first order. | Military.kif 306-306 | 非委任军官级别 分拆成不相交的 初级NCO排名 和 高级NCO排名 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14410-14410 | 无花植物 分拆成不相交的 藻类, 蕨类, 和 苔藓 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14682-14682 | 营养 分拆成不相交的 蛋白质, 碳水化物, 和 维生素 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15302-15302 | 短语 分拆成不相交的 动词短语, 名词短语, 和 介词短语 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2087-2087 | 发电 分拆成不相交的 化石燃料发电, 水力发电, 核能发电, 和 其他发电源 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14627-14627 | 灵长类动物 分拆成不相交的 猿, 猴子, 和 原始人类 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2160-2161 | 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | 住宅 分拆成不相交的 永久居留权 和 暂住 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14231-14231 | 句子 分拆成不相交的 声明, 假想, 题, 请求, 和 订购 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15125-15125 | 身体组织 分拆成不相交的 ConnectiveTissue, MuscleTissue, NervousTissue, 和 EpithelialTissue |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |