| 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 17189-17191 | |
| (domain holdsObligation 1 Formula) | Merge.kif 17186-17186 | 有执行义务 的 1 数量 是 公式 的 instance |
| (domain holdsObligation 2 CognitiveAgent) | Merge.kif 17187-17187 | 有执行义务 的 2 数量 是 有认知的主事 的 instance |
| (instance holdsObligation AsymmetricRelation) | Merge.kif 17185-17185 | 有执行义务 是 非对称关系 的 instance |
| (instance holdsObligation BinaryPredicate) | Merge.kif 17184-17184 | 有执行义务 是 二元谓语 的 instance |
| (relatedInternalConcept holdsObligation holdsRight) | Merge.kif 17188-17188 | 有执行义务 和 有权利 是 内部相关 |
| 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 28350-28350 | |
| (termFormat ChineseLanguage holdsObligation "有执行义务") | chinese_format.kif 214-214 | |
| (termFormat ChineseTraditionalLanguage holdsObligation "持有義務") | domainEnglishFormat.kif 28349-28349 | |
| (termFormat EnglishLanguage holdsObligation "holds obligation") | domainEnglishFormat.kif 28348-28348 |
| consequent |
|
|
| (=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT))) |
Government.kif 700-705 | |
| (=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (agreementEffectiveDuring ?CONST (WhenFn ?GOV)) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV)) |
Government.kif 760-768 | |
| (=> (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 8129-8139 | |
| (=> (confersObligation ?FORMULA ?AGENT1 ?AGENT2) (holdsObligation ?FORMULA ?AGENT2)) |
Merge.kif 17203-17205 |
|
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