and |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24763-24768 | 位於 PostalPlace and City 例 PostalPlace and PostalPlace 例 City and City PostalPlace 是在 City |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24676-24681 | 位於 PostalPlace and Neighborhood 例 PostalPlace and PostalPlace 例 Neighborhood and Neighborhood PostalPlace 是在 Neighborhood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 | 位於 PostalPlace and StateOrProvince 例 PostalPlace and PostalPlace 例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | 位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3920-3926 | TimeInterval 例 貸款 and 貸款 TimeInterval 是 貸款 的 agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 是 貸款 的 loan 利息 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3051-3062 | 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 out 資兂短缺 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3002-3013 | 金融工具 金融工具Price and RealNumber 例 協議 and 看漲期權 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 in 金錢 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3034-3042 | 金融工具 金融工具Price and CurrencyMeasure 例 協議 and 選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 金融工具Price CurrencyMeasure 是 協議 的 strike 價錢 等於 金融工具Price and CurrencyMeasure AutonomousAgent 是 協議 at 的錢 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3015-3026 | 金融工具 金融工具Price and RealNumber 例 協議 and 放選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 金融工具Price and RealNumber AutonomousAgent 是 協議 的 in 金錢 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3064-3075 | 金融工具 金融工具Price and RealNumber 例 協議 and 放選項 金融工具 是 協議 的 underlier 金融工具 是 對於 AutonomousAgent 的 price 測量 金融工具Price and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是 協議 的 strike 價錢 少於 RealNumber and 金融工具Price AutonomousAgent 是 協議 的 out 資兂短缺 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17254-17262 | 持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23252-23258 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3165-3169 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 881-885 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3621-3625 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3041-3045 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20760-20767 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18837-18843 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14079-14089 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 714-719 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 721-726 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 722-726 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 766-772 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |