agreementClause - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - agreementClause

agreementClause

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14060-14063
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14066-14066	Le nombre 1 argument de agreementClause est une instance de proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14067-14067	Le nombre 2 argument de agreementClause est une instance de deontic attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14068-14068	Le nombre 3 argument de agreementClause est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14069-14069	Le nombre 4 argument de agreementClause est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14059-14059	agreementClause est une instance de pr�dicat quaternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2726-2726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2725-2725
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2724-2724
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14064-14064

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	agreementClause proposition , deontic attribute, Agreement and agent cognitif ContentBearingPhysical ContentBearingPhysical contient information proposition partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14099-14105	agreementClause proposition , Permission, Agreement and agent cognitif agent cognitif a le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14090-14097	agreementClause proposition , Prohibition, Agreement and agent cognitif agent cognitif n' %n{pas} le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14078-14088	agreementClause proposition , deontic attribute, Agreement and agent cognitif deontic attribute est Obligation deontic attribute est Promise l'argument entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif a la force modale de Likely

consequent

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

Catalog.kif 311-324

negotiatedPrice physique, mesure de devise and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
agreementClause entit� entit� entit� est une instance de acheter entit� est un patient de entit� entit� est une instance imm�diate de physique entit� est un agent de agent cognitif entit� a pour origine agent cognitif transactionAmount entit� and mesure de devise, Obligation, Agreement and agent cognitif

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