TreeView Knowledge Base Browser - agreementClause

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

agreementClause

Sigma KEE - agreementClause

agreementClause

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14061-14064
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14067-14067	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 14068-14068	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 14069-14069	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 14070-14070	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 14060-14060	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 14065-14065

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14072-14077	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 14100-14106	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 14091-14098	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 14079-14089	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 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