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
-------------------------


(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 16099-16101
(domain holdsRight 1 Formula) Merge.kif 16097-16097 domain holdsRight, 1 and Formula
(domain holdsRight 2 CognitiveAgent) Merge.kif 16098-16098 domain holdsRight, 2 and CognitiveAgent
(instance holdsRight AsymmetricRelation) Merge.kif 16096-16096 instance holdsRight and AsymmetricRelation
(instance holdsRight BinaryPredicate) Merge.kif 16095-16095 instance holdsRight and BinaryPredicate

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 16119-16119 relatedInternalConcept holdsObligation and holdsRight
(termFormat ChineseLanguage holdsRight "坚持正确") domainEnglishFormat.kif 28273-28273 termFormat ChineseLanguage, holdsRight and "坚持正确"
(termFormat ChineseLanguage holdsRight "有权利") chinese_format.kif 124-124 termFormat ChineseLanguage, holdsRight and "有权利"
(termFormat ChineseTraditionalLanguage holdsRight "堅持正確") domainEnglishFormat.kif 28272-28272 termFormat ChineseTraditionalLanguage, holdsRight and "堅持正確"
(termFormat EnglishLanguage holdsRight "holds right") domainEnglishFormat.kif 28271-28271 termFormat EnglishLanguage, holdsRight and "holds right"

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


(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))		 Mid-level-ontology.kif 11708-11714
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))		 Mid-level-ontology.kif 11699-11706
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))		 Government.kif 708-713
(=>
    (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
(=>
    (and
        (property ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day)))) ?Agent))		 FinancialOntology.kif 2708-2720
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))		 FinancialOntology.kif 2590-2606
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2544-2560
(=>
    (confersRight ?FORMULA ?AGENT1 ?AGENT2)
    (holdsRight ?FORMULA ?AGENT2))		 Merge.kif 16111-16113
(=>
    (instance ?ESCAPE Escaping)
    (not
        (holdsRight
            (agent ?ESCAPE ?AGENT) ?AGENT)))		 Mid-level-ontology.kif 14854-14856
(=>
    (instance ?JURY Jury)
    (holdsRight
        (exists (?DECISION)
            (and
                (instance ?DECISION LegalDecision)
                (agent ?DECISION ?JURY))) ?JURY))		 Mid-level-ontology.kif 13741-13746


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners