Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - underlier
underlier

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2755-2757
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2753-2753 域 底層證券, 1 and 協議
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2754 域 底層證券, 2 and 金融工具
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2751-2751 例 底層證券 and BinaryPredicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2559-2559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2558-2558
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2557-2557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59909-59909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59908-59908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59907-59907

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3065-3076 金融工具 金融工具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 3016-3027 金融工具 金融工具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 3048-3056 金融工具 金融工具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 3029-3040 金融工具 金融工具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 3078-3089 金融工具 金融工具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. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2782-2794
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2683-2699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2637-2653
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2701-2717
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2655-2673
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2726-2730
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2759-2761

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2554-2565


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners