| 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 17300-17302 | |
| (domain holdsObligation 1 Formula) | Merge.kif 17297-17297 | 有执行义务 的 1 数量 是 公式 的 instance |
| (domain holdsObligation 2 CognitiveAgent) | Merge.kif 17298-17298 | 有执行义务 的 2 数量 是 有认知的主事 的 instance |
| (instance holdsObligation AsymmetricRelation) | Merge.kif 17296-17296 | 有执行义务 是 非对称关系 的 instance |
| (instance holdsObligation BinaryPredicate) | Merge.kif 17295-17295 | 有执行义务 是 二元谓语 的 instance |
| (relatedInternalConcept holdsObligation holdsRight) | Merge.kif 17299-17299 | 有执行义务 和 有权利 是 内部相关 |
| 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 | |
| (termFormat ChineseLanguage holdsObligation "持有义务") | domainEnglishFormat.kif 28345-28345 | |
| (termFormat ChineseLanguage holdsObligation "有执行义务") | chinese_format.kif 214-214 | |
| (termFormat ChineseTraditionalLanguage holdsObligation "持有義務") | domainEnglishFormat.kif 28344-28344 | |
| (termFormat EnglishLanguage holdsObligation "holds obligation") | domainEnglishFormat.kif 28343-28343 |
| consequent |
|
|
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT))) |
Government.kif 714-719 | |
| (=> (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 1224-1233 | |
| (=> (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 1273-1282 | |
| (=> (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 774-783 | |
| (=> (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 1411-1421 | |
| (=> (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 1428-1443 | |
| (=> (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 8486-8496 | |
| (=> (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 17314-17316 |
|
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