domain |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | Attr 的 2 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3193-3193 | AuctionGMBFn 的 1 数量 是 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 865-865 | 可用于兵役男性 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3271 | AverageFn 的 1 数量 是 串列 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | 挪后函数 的 1 数量 是 自身连接物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7982-7982 | 开始函数 的 1 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | 节点开端函数 的 1 数量 是 图路径 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | BeliefGroupMemberFn 的 1 数量 是 信仰团体 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2912-2912 | BidCountFn 的 1 数量 是 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 69-69 | 每千人分娩 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 70-70 | 每千人分娩 的 2 数量 是 年 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | BodySideFn 的 1 数量 是 AntiSymmetricPositionalAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | 边界 的 1 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | 边界 的 2 数量 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2878-2878 | BoughtItemsFn 的 1 数量 是 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1319-1319 | CPU利用率 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1527-1527 | 内阁 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | 势函数 的 1 数量 是 结合 集或类 和 群体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | 顶整数函数 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1168-1168 | 细胞部分 的 1 数量 是 细胞 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7639-7639 | 圆心 的 1 数量 是 圈 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | 每个女人出生的孩子 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | 每个女人出生的孩子 的 2 数量 是 年 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8039-8039 | 公民 的 1 数量 是 地缘政治区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3327-3327 | ClickThroughRateFn 的 1 数量 是 群体 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |