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

Formal Language: 



KB Term:  Term intersection
English Word: 

  optionSeller

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 The number 1 argument of option seller is an instance of agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2600-2600 The number 2 argument of option seller is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2597-2597 option seller is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2596-2596 option seller is a subrelation of party to agreement

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 42366-42366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42365-42365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42364-42364

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2604-2606


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