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

Formal Language: 



KB Term:  Term intersection
English Word: 

  holdsRight

Sigma KEE - holdsRight
holdsRight

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


(documentation holdsRight ChineseLanguage "这是用来表达 FormulaCognitiveAgent 两者之 间的一种关系,那就是 CognitiveAgent 有权利实现 Formula 所指的。") Merge.kif 17772-17773
(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 17769-17771
(domain holdsRight 1 Formula) Merge.kif 17767-17767
(domain holdsRight 2 CognitiveAgent) Merge.kif 17768-17768
(instance holdsRight AsymmetricRelation) Merge.kif 17766-17766
(instance holdsRight BinaryPredicate) Merge.kif 17765-17765

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 88-88
(format FrenchLanguage holdsRight "%2 %n{n'} %p{a} %n{pas} le droit d'executer %1") french_format.kif 83-83
(format ItalianLanguage holdsRight "%2 %p{ha} %n{non ha} il diritto di compiere %1") relations-it.txt 131-131
(format PortugueseLanguage holdsRight "%2 %n{nao} %p{tem} %n o direito de executar %1") portuguese_format.kif 35-35
(format ar holdsRight "%2 %p{عِنْدَه} %n{لَيْسَ} الحَقّ بِتَنْفِيذ %1") arabic_format.kif 33-33
(format cz holdsRight "%2 %p{has} %n{doesn't have} the right to perform %1") relations-cz.txt 124-124
(format de holdsRight "%2 hat das Recht, %1 durchzufuehren %n{nicht}") relations-de.txt 145-145
(format hi holdsRight "%2 %1 ko karane kaa adhikaara %n{nahiin} rakhataa hai") relations-hindi.txt 171-171
(format tg holdsRight "%2 %p{may} %n{hindi may} ang karapatan sa kumikilos %1") relations-tg.txt 268-268
(relatedInternalConcept holdsObligation holdsRight) Merge.kif 17794-17794
(termFormat ChineseLanguage holdsRight "有权利") chinese_format.kif 124-124
(termFormat EnglishLanguage holdsRight "holds right") domainEnglishFormat.kif 5145-5145
(termFormat ar holdsRight "«عِنْدَه الحَقّ بِتَنْفِيذ»") arabic_format.kif 483-483
(termFormat tg holdsRight "may karapatan sa kumikilos") relations-tg.txt 269-269

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


(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 11703-11709
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 11694-11701
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))
Government.kif 715-720
(=>
    (and
        (policyEffectiveDate ?POL ?DATE)
        (confersRight ?FORMULA ?POL ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))
TravelPolicies.kif 199-204
(=>
    (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 2546-2562
(=>
    (confersRight ?FORMULA ?AGENT1 ?AGENT2)
    (holdsRight ?FORMULA ?AGENT2))
Merge.kif 17786-17788
(=>
    (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 13742-13747


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