SigningAnAgreement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SigningAnAgreement

SigningAnAgreement(signing an agreement)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3000-3004
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11870-11870
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11866-11866
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11867-11867
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10276-10276
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11869-11869
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11865-11865
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2998-2998	Signing an agreement is a subclass of committing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53012-53012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53011-53011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53010-53010

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 3006-3013

If a process is an instance of signing an agreement,
then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 963-970	If an entity is an instance of above the line, then there exist a process and an agent such that the process is an instance of signing an agreement and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 983-990	If an entity is an instance of below the line, then there exist a process and an agent such that the process is an instance of signing an agreement and directorJS is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1045-1052	If an entity is an instance of chairman publication, then there exist a process and an agent such that the process is an instance of signing an agreement and chairmanJC s is an attribute of the agent and the agent is an agent of the process and the entity is a patient of the process

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