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 "这是用来表达 FormulaCognitiveAgent 两者之 间的一种关系,那就是 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 17603-17605
(domain holdsRight 1 Formula) Merge.kif 17601-17601 The number 1 argument of holds right is an instance of formula
(domain holdsRight 2 CognitiveAgent) Merge.kif 17602-17602 The number 2 argument of holds right is an instance of cognitive agent
(instance holdsRight AsymmetricRelation) Merge.kif 17600-17600 holds right is an instance of asymmetric relation
(instance holdsRight BinaryPredicate) Merge.kif 17599-17599 holds right is an instance of binary predicate

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
(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 JapaneseLanguage holdsRight "%2 は %1 を 実行する right を %p{持って} %n{ない}") japanese_format.kif 1910-1910
(format PortugueseLanguage holdsRight "%2 %n{nao} %p{tem} %n o direito de executar %1") portuguese_format.kif 35-35
(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 ro holdsRight "%2 %n{nu} are right%t{dreptul} sã facã %1") relations-ro.kif 102-102
(format sv holdsRight "%2 har %n{inte} rättigheten att utföra %1") relations-sv.txt 82-82
(format tg holdsRight "%2 %p{may} %n{hindi may} ang karapatan sa kumikilos %1") relations-tg.txt 268-268
(relatedInternalConcept holdsObligation holdsRight) Merge.kif 17623-17623 holds obligation is internally related to holds right
(termFormat ChineseLanguage holdsRight "坚持正确") domainEnglishFormat.kif 28376-28376 holds obligation is internally related to holds right
(termFormat ChineseLanguage holdsRight "有权利") chinese_format.kif 124-124 holds obligation is internally related to holds right
(termFormat ChineseTraditionalLanguage holdsRight "堅持正確") domainEnglishFormat.kif 28375-28375 holds obligation is internally related to holds right
(termFormat EnglishLanguage holdsRight "holds right") domainEnglishFormat.kif 28374-28374 holds obligation is internally related to holds right
(termFormat de holdsRight "hatRecht") terms-de.txt 43-43 holds obligation is internally related to holds right
(termFormat tg holdsRight "may karapatan sa kumikilos") relations-tg.txt 269-269 holds obligation is internally related to holds right

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


(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 15471-15477
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 15462-15469
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))
Government.kif 684-689
(=>
    (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 2805-2817
(=>
    (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 2686-2702
(=>
    (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 2640-2656
(=>
    (confersRight ?FORMULA ?AGENT1 ?AGENT2)
    (holdsRight ?FORMULA ?AGENT2))
Merge.kif 17615-17617
(=>
    (instance ?ESCAPE Escaping)
    (not
        (exists (?AGENT)
            (holdsRight
                (agent ?ESCAPE ?AGENT) ?AGENT))))
Mid-level-ontology.kif 18842-18846
(=>
    (instance ?JURY Jury)
    (holdsRight
        (exists (?DECISION)
            (and
                (instance ?DECISION LegalDecision)
                (agent ?DECISION ?JURY))) ?JURY))
Mid-level-ontology.kif 17475-17481


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