optionSeller - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - optionSeller

optionSeller

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2601-2602
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2599-2599	Le nombre 1 argument de optionSeller est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2600-2600	Le nombre 2 argument de optionSeller est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2597-2597	optionSeller est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2596-2596	optionSeller est une sous-relation de partyToAgreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4034-4034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4033-4033
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4032-4032
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42368-42368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42367-42367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42366-42366

antecedent

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 2604-2606	optionSeller Agreement and agent cognitif Agreement a un attribute Option

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