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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - holdsObligation
holdsObligation

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


(documentation holdsObligation ChineseLanguage "这是用来表达 Formula 和 CognitiveAgent 两者之间的一种关系，那就是 CognitiveAgent 有义务去实现 Formula 所指的。") chinese_format.kif 3898-3899
(documentation holdsObligation EnglishLanguage "Expresses a relationship between a Formula and a CognitiveAgent whereby the CognitiveAgent has the obligation to bring it about that the Formula is true.") Merge.kif 17575-17577
(domain holdsObligation 1 Formula) Merge.kif 17572-17572 域 持有義務, 1 and Formula
(domain holdsObligation 2 CognitiveAgent) Merge.kif 17573-17573 域 持有義務, 2 and CognitiveAgent
(instance holdsObligation AsymmetricRelation) Merge.kif 17571-17571 例 持有義務 and AsymmetricRelation
(instance holdsObligation BinaryPredicate) Merge.kif 17570-17570 例 持有義務 and BinaryPredicate
(relatedInternalConcept holdsObligation holdsRight) Merge.kif 17574-17574 相關的內部概念 持有義務 and 堅持正確

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


(format ChineseLanguage holdsObligation "%2 %n 有义务执行 %1 的任务") chinese_format.kif 213-213
(format EnglishLanguage holdsObligation "%2 is %n obliged to perform tasks of type %1") english_format.kif 214-214
(format FrenchLanguage holdsObligation "%2 est %n oblig� d'ex�cut� des t�ches du type %1") french_format.kif 126-126
(format ItalianLanguage holdsObligation "%2 è obbligato a compiere il compito di tipo %1") relations-it.txt 130-130
(format JapaneseLanguage holdsObligation "%2 はタイプ %1 のタスクを実行する obliged %n") japanese_format.kif 1955-1955
(format PortugueseLanguage holdsObligation "%2 e' %n obrigado a executar tarefas de tipo %1") portuguese_format.kif 78-78
(format de holdsObligation "%2 wird gezwungen, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}") relations-de.txt 275-275
(format hi holdsObligation "%2 %1 ke jaise kaarya karane ke lie baadhya hai") relations-hindi.txt 170-170
(format ro holdsObligation "%2 %n{nu} este obliged%t{obligat} sã execute sarcini de tipul %1") relations-ro.kif 145-145
(format sv holdsObligation "%2 är %n{inte} skyldig att utföra uppgifter av typen %1") relations-sv.txt 131-131
(format tg holdsObligation "%2 ay obligado sa %1") relations-tg.txt 266-266
(termFormat ChineseLanguage holdsObligation "持有义务") domainEnglishFormat.kif 28387-28387
(termFormat ChineseLanguage holdsObligation "有执行义务") chinese_format.kif 214-214
(termFormat ChineseTraditionalLanguage holdsObligation "持有義務") domainEnglishFormat.kif 28386-28386
(termFormat EnglishLanguage holdsObligation "holds obligation") domainEnglishFormat.kif 28385-28385
(termFormat de holdsObligation "hatVerpflichtung") terms-de.txt 88-88
(termFormat tg holdsObligation "may obligado") relations-tg.txt 267-267

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


(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))		 Government.kif 677-682
(=>
    (and
        (amountDue ?Account ?Amount ?DueDate)
        (accountHolder ?Account ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (instance ?Payment Payment)
                (transactionAmount ?Payment ?Amount)
                (or
                    (destination ?Payment
                        (CurrencyFn ?Account))
                    (origin ?Payment
                        (CurrencyFn ?Account)))
                (date ?Payment ?Date)
                (beforeOrEqual
                    (EndFn ?Date)
                    (BeginFn ?DueDate)))) ?Agent))		 FinancialOntology.kif 655-667
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Buying ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (instance ?U UnitOfCurrency)
        (askPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (lessThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Buy) ?BuyingTime)
                (overlapsTemporally ?Time ?BuyingTime))) ?Broker))		 FinancialOntology.kif 2022-2043
(=>
    (and
        (attribute ?Order LimitOrder)
        (partyToAgreement ?Order ?Broker)
        (attribute ?Broker Broker)
        (orderFor ?Order Selling ?Object)
        (measure ?Object ?Quantity)
        (limitPrice ?Order
            (MeasureFn ?LimitPrice ?U))
        (bidPrice ?Object
            (MeasureFn ?Price ?U) ?Time)
        (instance ?U UnitOfCurrency)
        (greaterThanOrEqualTo ?Price ?LimitPrice))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Object)
                (measure ?Object ?Quantity)
                (equal
                    (WhenFn ?Sell) ?SellingTime)
                (overlapsTemporally ?SellingTime ?Time))) ?Broker))		 FinancialOntology.kif 2045-2066
(=>
    (and
        (attribute ?Order MarketOrder)
        (attribute ?Broker Broker)
        (partyToAgreement ?Order ?Broker)
        (orderFor ?Order ?TransactionType ?Shares))
    (holdsObligation
        (KappaFn ?Transaction
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares))) ?Broker))		 FinancialOntology.kif 1995-2004
(=>
    (and
        (instance ?Account CreditAccount)
        (accountHolder ?Account ?Agent)
        (principalAmount ?Account ?Principal)
        (agreementPeriod ?Account ?Period)
        (interestEarned ?Account ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (holdsObligation
        (KappaFn ?Payment
            (transactionAmount ?Payment ?Total)) ?Agent))		 FinancialOntology.kif 1238-1247
(=>
    (and
        (instance ?Account Loan)
        (borrower ?Account ?Agent)
        (principalAmount ?Account ?Principal)
        (agreementPeriod ?Account ?Period)
        (interestEarned ?Account ?Interest ?Period)
        (equal ?Total
            (AdditionFn ?Principal ?Interest)))
    (holdsObligation
        (KappaFn ?Payment
            (transactionAmount ?Payment ?Total)) ?Agent))		 FinancialOntology.kif 1287-1296
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 44-59
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (instance
            (WhenFn ?GOV) ?CLASS)
        (agreementEffectiveDuring ?CONST ?CLASS)
        (subProposition ?PART ?CONST)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))		 Government.kif 736-745
(=>
    (and
        (instance ?Loan BalloonLoan)
        (maturityDate ?Loan ?Date)
        (totalBalance ?Loan ?Amount)
        (borrower ?Loan ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (date ?Payment ?Date)
                (transactionAmount ?Payment ?Amount)
                (destination ?Payment
                    (CurrencyFn ?Loan)))) ?Agent))		 FinancialOntology.kif 1425-1435
(=>
    (and
        (instance ?Loan CallableLoan)
        (lender ?Loan ?Lender)
        (borrower ?Loan ?Borrower)
        (totalBalance ?Loan ?Amount)
        (instance ?Call Call)
        (agent ?Call ?Lender)
        (patient ?Call ?Loan))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (destination ?Payment ?Lender)
                (time ?Payment
                    (ImmediateFutureFn
                        (WhenFn ?Call)))
                (transactionAmount ?Payment ?Amount))) ?Borrower))		 FinancialOntology.kif 1442-1457
(=>
    (and
        (instance ?UNIT SecurityUnit)
        (subOrganization ?UNIT ?ORG))
    (holdsObligation
        (exists (?MAINTAIN)
            (and
                (instance ?MAINTAIN Maintaining)
                (agent ?MAINTAIN ?UNIT)
                (patient ?MAINTAIN ?ORG))) ?UNIT))		 Mid-level-ontology.kif 9752-9762
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2701-2717
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))		 FinancialOntology.kif 2655-2673
(=>
    (confersObligation ?FORMULA ?AGENT1 ?AGENT2)
    (holdsObligation ?FORMULA ?AGENT2))		 Merge.kif 17589-17591


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