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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - optionHolder
optionHolder

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2588-2589
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2586-2586 The number 1 argument of option holder is an instance of agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2587-2587 The number 2 argument of option holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2584-2584 option holder is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2583-2583 option holder 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 4030-4030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4029-4029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4028-4028
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42360-42360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42359-42359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42358-42358

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2788-2800
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2669-2685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2591-2593


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