rangeSubclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18394-18394 | 範圍子類 MakingFn and Object |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6322-6322 | 範圍子類 MeasuringProcessFn and Measuring |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6080-6080 | 範圍子類 最小割集 and GraphPath |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8663-8663 | 範圍子類 分 and Minute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8595-8595 | 範圍子類 月 and Month |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1520-1520 | 範圍子類 網路通信功能 and NetworkCommunication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20488-20488 | 範圍子類 職業 and FinancialTransaction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17884-17884 | 範圍子類 操作 and Process |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | 範圍子類 OrganicObjectFn and Object |
No TPTP formula. May not be expressible in strict first order. | Government.kif 502-502 | 範圍子類 海外地區 and 海外地區 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6350-6350 | 範圍子類 PainFn and 痛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6323-6323 | 範圍子類 ParalysisFn and 麻痺 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 770-770 | 範圍子類 周邊區域 and 周邊區域 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14663-14663 | 範圍子類 定期發行 and Periodical |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3353-3353 | 範圍子類 PlantFn and Plant |
No TPTP formula. May not be expressible in strict first order. | Music.kif 829-829 | 範圍子類 PlayingInstrumentFn and MakingInstrumentalMusic |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 798-798 | 範圍子類 電源組 and SetOrClass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1360-1360 | 範圍子類 PressingKeyFn and SingleKeyPress |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8992-8992 | 範圍子類 QuarterFn and QuarterYear |
No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | 範圍子類 ReceivingAnObjectFn and Getting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8468-8468 | 範圍子類 經常性時間間隔 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8690-8690 | 範圍子類 第二 and Second |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13512-13512 | 範圍子類 SenseImpairmentFn and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13532-13532 | 範圍子類 SenseInabilityFn and PathologicProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14618-14618 | 範圍子類 系列卷 and Text |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |