instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3668-3673 | UnitOfCurrency 對於 TimeInterval 在週期 CurrencyMeasure 的 currency 交換匯率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 UnitOfCurrency 的 currency 交換匯率 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7727-7733 | AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3635-3642 | CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2819-2824 | GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 的 economic 間贈補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 economic 捐贈補助 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2859-2864 | GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 總共收到的 economic 補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 總共收到的 economic 補助 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2056-2061 | GeopoliticalArea 是 對於 RealNumber 和 TimeInterval 在週期 發電 從來源的 electricity 分支 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea is 對於 RealNumber 從來源 發電 的 electricity 分支 |
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | 等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 981-984 | Number Number 是 金融賬戶 的 fixed 固定利息 例 金融賬戶 and 固定利率賬戶 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2549-2554 | GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由部分 export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由部分 GeopoliticalArea export 夥伴 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2511-2516 | GeopoliticalArea 對 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea export 夥伴 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2387-2392 | AutonomousAgent 對於 TimeInterval 在週期 AutonomousAgent export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 export 夥伴 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2775-2780 | GeopoliticalArea 是 對於 TimeInterval 在週期 CurrencyMeasure 的 external 債務 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 external 債務 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1279-1284 | RealNumber 是對於 GeopoliticalArea 在週期 RealNumber 的 highest 平分家庭收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 highest 平分家庭收入 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30132-30140 | 持有期間 TimePosition and attribute entity and Barefoot 持有期間 TimePosition and entity 例 entity and 鞋 穿 entity and entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30145-30153 | 持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity 例 entity and Clothing 穿 entity and entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30223-30236 | 持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 involved |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30271-30279 | 持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2742-2747 | GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由一部分 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由一部分 GeopoliticalArea import 夥伴 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2704-2709 | GeopoliticalArea 對於 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea import 夥伴 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2674-2679 | AutonomousAgent 對於 TimeInterval 在 週期 AutonomousAgent import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 import 夥伴 |
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 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |