domainSubclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2790-2790 | 域子類 期間捐贈的經濟援助, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2834-2834 | 域子類 經濟援助在期內收到淨額, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15499-15499 | 域子類 編輯者, 2 and Text |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 796-796 | 域子類 有效劑量, 1 and 生化劑 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1737-1737 | 域子類 計劃選舉日期, 2 and TimePosition |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2096-2096 | 域子類 期間用電量, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2139-2139 | 域子類 電力出口期間, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2043-2043 | 域子類 來自電力的電力部分, 2 and 發電 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2027-2027 | 域子類 來自時期的電力部分, 2 and 發電 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2029-2029 | 域子類 來自時期的電力部分, 4 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2184-2184 | 域子類 電力進口期間, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1964-1964 | 域子類 期間的電力生產, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7368-7368 | 域子類 享受, 2 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1920-1920 | 域子類 ennervates, 1 and Nerve |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1921-1921 | 域子類 ennervates, 2 and Muscle |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2456-2456 | 域子類 區域環境問題類型, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24309-24309 | 域子類 設備數量, 2 and Device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24324-24324 | 域子類 設備類型, 2 and Device |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4493-4493 | 域子類 等效內容類, 1 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4494-4494 | 域子類 等效內容類, 2 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 488-488 | 域子類 詳盡的屬性, 1 and Attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2306-2306 | 域子類 出口商品類型, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2323-2323 | 域子類 按等級出口商品類型, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2522-2522 | 域子類 出口合作夥伴按期間分數, 4 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2492-2492 | 域子類 出口合作夥伴按期間排名, 4 and TimeInterval |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |