TreeView Knowledge Base Browser - underlier

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 2741-2743
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2739-2739	Le nombre 1 argument de underlier est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2740-2740	Le nombre 2 argument de underlier est une instance de FinancialInstrument
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2737-2737	underlier est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2563-2563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2562-2562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2561-2561
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59888-59888
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59887-59887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59886-59886

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3034-3042	FinancialInstrument FinancialInstrumentPrice and mesure de devise Agreement est une instance de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and mesure de devise FinancialInstrumentPrice est mesure de devise atTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) FinancialInstrumentPrice est moins que nombre r�el inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and nombre r�el Agreement est une instance de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice unit� de mesure(s) and AutonomousAgent unit� de mesure est une instance de UnitOfCurrency strikePrice Agreement and nombre r�el unit� de mesure(s) nombre r�el est moins que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	Processus est une instance de ExerciseAnOption Agreement est un patient de processus Agreement a un attribute CallOption processus existe pendant position temporel underlier Agreement and FinancialInstrument processus processus est une instance de acheter FinancialInstrument est un patient de processus processus existe pendant position temporel la mesure de FinancialInstrument est 100 ShareUnit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	Processus est une instance de ExerciseAnOption Agreement est un patient de processus Agreement a un attribute PutOption processus existe pendant position temporel underlier Agreement and FinancialInstrument processus processus est une instance de vendre FinancialInstrument est un patient de processus processus existe pendant position temporel la mesure de FinancialInstrument est 100 ShareUnit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	Agreement a un attribute Option optionHolder Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif a le droit d'executer la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement a un attribute Option optionHolder Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif a le droit d'executer la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel underlier Agreement and FinancialInstrument agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2641-2659	Agreement a un attribute Option optionSeller Agreement and agent cognitif strikePrice Agreement and mesure de devise agreementExpirationDate Agreement and interval temporel underlier Agreement and FinancialInstrument price FinancialInstrument, mesure de devise and AutonomousAgent AutonomousAgent est une instance de interval temporel la fin de AutonomousAgent se produit avant le d�but de interval temporel agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2712-2716	Agreement a un attribute StockOption underlier Agreement and FinancialInstrument FinancialInstrument a un attribute CommonStock
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2745-2747	underlier Agreement and FinancialInstrument Agreement a un attribute Option

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 2540-2551

Agreement a un attribute Option
attribut point temporel, FinancialInstrument and mesure de devise attribut est CallOption attribut est PutOption Agreement a un attribute attribut agreementExpirationDate Agreement and point temporel strikePrice Agreement and mesure de devise underlier Agreement and FinancialInstrument la mesure de FinancialInstrument est 100 ShareUnit(s)

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

Show without tree

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