Committing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Committing

Committing(Comprometer-se)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3274-3275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13244-13246
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13243-13243	Comprometer-se e' uma sub-classe de LinguisticCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21507-21507	ClosingContract e' uma sub-classe de Comprometer-se
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13255-13255	Offering e' uma sub-classe de Comprometer-se
No TPTP formula. May not be expressible in strict first order.	Dining.kif 756-756	Reserving e' uma sub-classe de Comprometer-se
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3117-3117	SigningAnAgreement e' uma sub-classe de Comprometer-se
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 855-855	Threatening e' uma sub-classe de Comprometer-se
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1203-1203
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1623-1623
No TPTP formula. May not be expressible in strict first order.	french_format.kif 881-881
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 414-414
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 417-417
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2565-2565
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 833-833
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 419-419
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 453-453
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 902-902
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 418-418

appearance as argument number 5

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

Merge.kif 13058-13058

O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3001-3009	Entidade e' uma instancia de InternationalAgreement Processo e' uma instancia de Comprometer-se Processo define Entidade AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13248-13253	Processo e' uma instancia de Comprometer-se Formula e' um patient de Processo Formula e' uma instancia de Formula o argumento Formula tem a forca modal de Promise

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	agreementAdoptionDate Proposicao and Posicao Temporal Processo Posicao Temporal Processo e' uma instancia de Comprometer-se Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' um patient de Processo Processo existe durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13964-13969	Entidade e' uma instancia de Agreement Entidade Entidade e' uma instancia de Comprometer-se Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19713-19719	Fisico e' uma instancia de Negotiating Fisico tem por fim Entidade Entidade e' uma instancia de Comprometer-se Entidade e' um sub-processo de Fisico tempo de existencia de Entidade termina em tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3039-3049	Entidade e' uma instancia de TreatyDocument Processo AutonomousAgent and AutonomousAgent Processo e' uma instancia de Comprometer-se Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Area Geopolitica Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Area Geopolitica Processo e' um agente de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14000-14006	partyToAgreement Agente Cognitivo and Agreement Processo Processo e' uma instancia de Comprometer-se Processo e' um agente de Agente Cognitivo Agreement e' um patient de Processo

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