and |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1318-1323 | GeopoliticalArea 對於 TimeInterval 在週期 NonnegativeRealNumber 基於基尼指數 income 分配 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 基於基尼指數的 income 分配 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1949-1954 | GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 industrial 生產成率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 %industrial 生產速率 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20200-20204 | 例 Object and 公牛 例 Object and 牛 attribute Object and 女 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | 例 Object and 公牛 例 Object and 牛 attribute Object and 男 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11689 | 例 Object and Bone Object 例 Object and 骨架 例 Object and 外骨骼 部分 Object and Object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20209-20213 | 例 Object and 小牛 例 Object and 牛 attribute Object and 沒有完全形成 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | 例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1321-1326 | 例 抵押 and 抵押 金融賬戶 例 金融賬戶 and 擔保貸款 抵押 是 金融賬戶 的 secured |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8080-8085 | 例 GeopoliticalArea and 市區 GeopoliticalArea 例 GeopoliticalArea and City 地緣政治細分 GeopoliticalArea and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30094-30098 | 例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20232-20236 | 例 Object and 母雞 例 Object and 雞 attribute Object and 女 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 例 CorpuscularObject and 電腦硬件 CorpuscularObject 例 CorpuscularObject and 電腦 零件 CorpuscularObject and CorpuscularObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8979-8983 | 例 Object and 冰 例 Object and Water attribute Object and 固體 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1668-1673 | 例 性能指標 and 通脹指數 Abstract 例 Abstract and Inflation 性能指標 是 Abstract 的 benchmark |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1696-1701 | 例 Abstract and 股票指數 性能指標 例 性能指標 and 股票 性能指標 是 Abstract 的 benchmark |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20186-20190 | 例 Object and 羔羊 例 Object and 羊 attribute Object and 沒有完全形成 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1948-1952 | 例 RealNumber and NegativeRealNumber 少於 RealNumber and 0 例 RealNumber and RealNumber |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1926-1930 | 例 RealNumber and NonnegativeRealNumber 大於或等於 RealNumber and 0 例 RealNumber and RealNumber |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1937-1941 | 例 RealNumber and PositiveRealNumber 比較多 RealNumber and 0 例 RealNumber and RealNumber |
No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | 例 Organization and 政府組織 例 Organization and Government Organization 例 Organization and Government 子組織 Organization and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | 例 Object and 公雞 例 Object and 雞 attribute Object and 男 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | 例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1419-1424 | 按職業期間劃分的勞動力比例 GeopoliticalArea, Attribute, RealNumber and TimeInterval TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1373-1378 | GeopoliticalArea 是 對於 TimeInterval 在週期 NonnegativeRealNumber 的 labor 總力量 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 的 labor 總力量 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1566-1577 | 百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數 位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數 等於 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |