TreeView Knowledge Base Browser - Promise

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Promise

Promise

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3911-3912
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17566-17568
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17565-17565	Promise est un sous-attribut de Obligation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14161-14161	Contract est un sous-attribut de Promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14156-14156	NakedPromise est un sous-attribut de Promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47710-47710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47709-47709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47708-47708

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14106-14116	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14150-14154	Entit� a un attribute Promise entit� a un attribute Contract entit� a un attribute NakedPromise

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13272-13277	Processus est une instance de investir formule est un patient de processus formule est une instance de formule l'argument formule a la force modale de Promise
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	negotiatedPrice physique, mesure de devise and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement l'argument entit� entit� entit� est une instance de vendre entit� est un patient de entit� entit� est une instance imm�diate de physique entit� est un agent de agent cognitif entit� aboutit � agent cognitif transactionAmount entit� and mesure de devise a la force modale de Promise
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 452-466	unpaidItem objet and AutonomousAgent l'argument processus processus est une instance de acheter objet est un patient de processus processus est un agent de AutonomousAgent a la force modale de Promise processus processus est une instance de acheter objet est un patient de processus processus est un agent de AutonomousAgent

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