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 2542-2543
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2540-2540 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 2541-2541 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 2538-2538 option seller is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2537-2537 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 4039-4039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4038-4038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4037-4037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42338-42338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42337-42337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42336-42336

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