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
-------------------------


s__documentation(s__optionSeller__m,s__EnglishLanguage,'"(optionSeller ?Option ?Agent) means that ?Agent is the writer of the option."')

FinancialOntology.kif 2542-2543
s__domain(s__optionSeller__m,n__1,s__Agreement)

FinancialOntology.kif 2540-2540 The number 1 argument of option seller is an instance of agreement
s__domain(s__optionSeller__m,n__2,s__CognitiveAgent)

FinancialOntology.kif 2541-2541 The number 2 argument of option seller is an instance of cognitive agent
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__optionSeller__m,s__BinaryPredicate)

FinancialOntology.kif 2538-2538 option seller is an instance of binary predicate
s__subrelation(s__optionSeller__m,s__partyToAgreement__m)

FinancialOntology.kif 2537-2537 option seller is a subrelation of party to agreement

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


s__format(s__ChineseLanguage,s__optionSeller__m,'"%2 sells %1 "')

domainEnglishFormat.kif 4039-4039
s__format(s__ChineseTraditionalLanguage,s__optionSeller__m,'"%2 sells %1 "')

domainEnglishFormat.kif 4038-4038
s__format(s__EnglishLanguage,s__optionSeller__m,'"%2 sells %1"')

domainEnglishFormat.kif 4037-4037
s__termFormat(s__ChineseLanguage,s__optionSeller__m,'"期权卖方"')

domainEnglishFormat.kif 42343-42343
s__termFormat(s__ChineseTraditionalLanguage,s__optionSeller__m,'"期權賣方"')

domainEnglishFormat.kif 42342-42342
s__termFormat(s__EnglishLanguage,s__optionSeller__m,'"option seller"')

domainEnglishFormat.kif 42341-42341

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600
( ! [V__AGENT,V__OPTION] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__OPTION,s__Agreement))
       =>
       ((s__optionSeller(V__OPTION,V__AGENT)
         =>
         (s__property(V__OPTION,s__Option)))))
   )
)

FinancialOntology.kif 2545-2547


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