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 数量 是 AntiSymmetricPositionalAttributeinstance
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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners