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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExerciseAnOption
ExerciseAnOption(exercise an option)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2671-2673
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11014-11014
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10030-10030
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2670-2670 Exercise an option is a subclass of financial transaction

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22675-22675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22674-22674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22673-22673

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2675-2687
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2689-2701

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2709-2721
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2729-2741


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