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	O argumento numero 1 de agreementClause e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14068-14068	O argumento numero 2 de agreementClause e' uma instancia de Atributo Deontico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14069-14069	O argumento numero 3 de agreementClause e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14070-14070	O argumento numero 4 de agreementClause e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14060-14060	agreementClause e' uma instancia de Predicado Quaternario

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 Proposicao, Atributo Deontico, Agreement and Agente Cognitivo ContentBearingPhysical ContentBearingPhysical contem informacao Proposicao partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14100-14106	agreementClause Proposicao, Permission, Agreement and Agente Cognitivo Agente Cognitivo tem o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14091-14098	agreementClause Proposicao, Prohibition, Agreement and Agente Cognitivo Agente Cognitivo nao %n o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo Atributo Deontico e' igual a Obligation Atributo Deontico e' igual a Promise o argumento Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo tem a forca modal de Likely

consequent

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

Catalog.kif 311-324

negotiatedPrice Fisico, Medida de Divisa and Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement
agreementClause Entidade Entidade Entidade e' uma instancia de Comprar Entidade e' um patient de Entidade Entidade e' uma instancia imediata de Fisico Entidade e' um agente de Agente Cognitivo Entidade tem como origem Agente Cognitivo transactionAmount Entidade and Medida de Divisa, Obligation, Agreement and Agente Cognitivo

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