TreeView Knowledge Base Browser - ClosingContract

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ClosingContract

Sigma KEE - ClosingContract

ClosingContract(closing contract)

close, execution, execution_of_instrument

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21509-21510
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21508-21508	Closing contract is a subclass of committing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15216-15216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15215-15215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15214-15214

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21512-21517	If a process is an instance of closing contract and an agreement is an agent of the process and the process ends up at a cognitive agent, then the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 131-136	If a process is an instance of closing contract, then there exists another process such that the other process is an instance of reaching agreement and the other process is a subprocess of the process

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