domain |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | 域 attr, 2 and Attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3193-3193 | 域 AuctionGMBFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. | Military.kif 865-865 | 域 可用於兵役男性, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3271-3271 | 域 AverageFn, 1 and List |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | 域 背部, 1 and SelfConnectedObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8004-8004 | 域 開始, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5942-5942 | 域 開始節點, 1 and GraphPath |
No TPTP formula. May not be expressible in strict first order. | People.kif 673-673 | 域 BeliefGroupMemberFn, 1 and 信仰團體 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2912-2912 | 域 BidCountFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. | People.kif 69-69 | 域 每千人分娩, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | People.kif 70-70 | 域 每千人分娩, 2 and 年 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14993-14993 | 域 BodySideFn, 1 and AntiSymmetricPositionalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | 域 邊界, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | 域 邊界, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2878-2878 | 域 BoughtItemsFn, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1319-1319 | 域 CPU利用率, 1 and ComputerProgram |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1527-1527 | 域 內閣, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | 域 基數, 1 and 聯盟 SetOrClass and Collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4783-4783 | 域 天花板, 1 and RealNumber |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1167-1167 | 域 細胞部分, 1 and Cell |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7648-7648 | 域 圓心, 1 and Object |
No TPTP formula. May not be expressible in strict first order. | People.kif 441-441 | 域 每個女人出生的孩子, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | People.kif 442-442 | 域 每個女人出生的孩子, 2 and 年 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8038-8038 | 域 公民, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3327-3327 | 域 ClickThroughRateFn, 1 and Collection |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |