| appearance as argument number 1 |
|
| (documentation holdsRight ChineseLanguage "这是用来表达 Formula 和 CognitiveAgent 两者之 间的一种关系，那就是 CognitiveAgent 有权利实现 Formula 所指的。") | chinese_format.kif 3893-3894 | |
| (documentation holdsRight 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 17168-17170 | |
| (domain holdsRight 1 Formula) | Merge.kif 17166-17166 | |
| (domain holdsRight 2 CognitiveAgent) | Merge.kif 17167-17167 | |
| (instance holdsRight AsymmetricRelation) | Merge.kif 17165-17165 | |
| (instance holdsRight BinaryPredicate) | Merge.kif 17164-17164 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage holdsRight "%2 %n{doesn't have} 有权利去做 %1") | chinese_format.kif 123-123 | |
| (format EnglishLanguage holdsRight "%2 %p{has} %n{doesn't have} the right to perform %1") | english_format.kif 124-124 | |
| (relatedInternalConcept holdsObligation holdsRight) | Merge.kif 17188-17188 | |
| (termFormat ChineseLanguage holdsRight "坚持正确") | domainEnglishFormat.kif 28356-28356 | |
| (termFormat ChineseLanguage holdsRight "有权利") | chinese_format.kif 124-124 | |
| (termFormat ChineseTraditionalLanguage holdsRight "堅持正確") | domainEnglishFormat.kif 28355-28355 | |
| (termFormat EnglishLanguage holdsRight "holds right") | domainEnglishFormat.kif 28354-28354 |
| consequent |
|
|
| (=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 13566-13572 | |
| (=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 13557-13564 | |
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT))) |
Government.kif 707-712 | |
| (=> (and (instance ?TA_CTRL TerminalGuidance) (agent ?TA_CTRL ?AGENT) (patient ?TA_CTRL ?TARGET)) (not (holdsRight (exists (?ATTACK) (and (instance ?ATTACK Attack) (agent ?ATTACK ?AGENT) (patient ?ATTACK ?TARGET))) ?AGENT))) |
MilitaryProcesses.kif 535-547 | |
| (=> (confersRight ?FORMULA ?AGENT1 ?AGENT2) (holdsRight ?FORMULA ?AGENT2)) |
Merge.kif 17180-17182 | |
| (=> (instance ?ESCAPE Escaping) (not (holdsRight (agent ?ESCAPE ?AGENT) ?AGENT))) |
Mid-level-ontology.kif 16710-16712 | |
| (=> (instance ?JURY Jury) (holdsRight (exists (?DECISION) (and (instance ?DECISION LegalDecision) (agent ?DECISION ?JURY))) ?JURY)) |
Mid-level-ontology.kif 15513-15519 |
|
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