| 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 |
disjointDecomposition