Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsRight
holdsRight

appearance as argument number 1
-------------------------


s__documentation(s__holdsRight__m,s__ChineseLanguage,'"这是用来表达 FormulaCognitiveAgent 两者之 间的一种关系,那就是 CognitiveAgent 有权利实现 Formula 所指的。"')

chinese_format.kif 3893-3894
s__documentation(s__holdsRight__m,s__EnglishLanguage,'"Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the right to bring it about that the Formula is true."')

Merge.kif 16721-16723
s__domain(s__holdsRight__m,n__1,s__Formula)

Merge.kif 16719-16719 The number 1 argument of holds right is an instance of formula
s__domain(s__holdsRight__m,n__2,s__CognitiveAgent)

Merge.kif 16720-16720 The number 2 argument of holds right is an instance of cognitive agent
s__instance(s__holdsRight__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

Merge.kif 16718-16718 holds right is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__holdsRight__m,s__BinaryPredicate)

Merge.kif 16717-16717 holds right is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__holdsRight__m,'"%2 %n{doesnt have} 有权利去做 %1"')

chinese_format.kif 123-123
s__format(s__EnglishLanguage,s__holdsRight__m,'"%2 %p{has} %n{doesnt have} the right to perform %1"')

english_format.kif 124-124
s__relatedInternalConcept(s__holdsObligation__m,s__holdsRight__m)

Merge.kif 16741-16741 holds obligation is internally related to holds right
s__termFormat(s__ChineseLanguage,s__holdsRight__m,'"坚持正确"')

domainEnglishFormat.kif 28356-28356
s__termFormat(s__ChineseLanguage,s__holdsRight__m,'"有权利"')

chinese_format.kif 124-124
s__termFormat(s__ChineseTraditionalLanguage,s__holdsRight__m,'"堅持正確"')

domainEnglishFormat.kif 28355-28355
s__termFormat(s__EnglishLanguage,s__holdsRight__m,'"holds right"')

domainEnglishFormat.kif 28354-28354

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13292-13298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13290
No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 535-547
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2761
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
No TPTP formula. May not be expressible in strict first order. Merge.kif 16733-16735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16392-16394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15234-15240


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