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

Formal Language: 



KB Term:  Term intersection
English Word: 

  confersObligation

 Sigma KEE - confersObligation
confersObligation

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


(documentation confersObligation ChineseLanguage "这是用来表达 Formula、Entity 和 CognitiveAgent 三者之间的一种关系，那就是 Entity 要求 CognitiveAgent 去实现 Formula 所指的。") chinese_format.kif 3900-3902
(documentation confersObligation EnglishLanguage "Expresses the relationship between a a Formula, an Entity, and a CognitiveAgent when the Entity obligates the CognitiveAgent to bring it about that the Formula is true.") Merge.kif 17480-17483
(domain confersObligation 1 Formula) Merge.kif 17476-17476 confersObligation の数値 1 引数は 公式 の instance では %n
(domain confersObligation 2 Entity) Merge.kif 17477-17477 confersObligation の数値 2 引数は エンティティー の instance では %n
(domain confersObligation 3 CognitiveAgent) Merge.kif 17478-17478 confersObligation の数値 3 引数は 認識エージェント の instance では %n
(instance confersObligation TernaryPredicate) Merge.kif 17475-17475 confersObligation は 3進述語 の instance では %n
(relatedInternalConcept confersObligation confersRight) Merge.kif 17479-17479 confersObligation は confersRight に internally 関連して %n

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


(format ChineseLanguage confersObligation "%2 %n{doesn't} 要求 %3 执行 %1 的任务") chinese_format.kif 201-201
(format EnglishLanguage confersObligation "%2 %n{doesn't} obligate%p{s} %3 to perform task of the type %1") english_format.kif 202-202
(format FrenchLanguage confersObligation "%2 %n{n'} oblige %n{pas} %3 � ex�cut� des t�ches du type %1") french_format.kif 120-120
(format ItalianLanguage confersObligation "%2 obbliga %3 a compiere il compito di tipo %1") relations-it.txt 50-50
(format JapaneseLanguage confersObligation "%2 は %3 にタイプ %1 のタスクを実行する obligate%p{s} %n{ない}") japanese_format.kif 1949-1949
(format PortugueseLanguage confersObligation "%2 %n{nao} obriga %n %3 a executar tarefas de tipo %1") portuguese_format.kif 72-72
(format de confersObligation "%2 zwingt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}") relations-de.txt 258-258
(format hi confersObligation "%2 %3 ko %1 ke prakaara kaa kaama karane ke liye vachanavaddha karataa hai") relations-hindi.txt 91-91
(format ro confersObligation "%2 %n{nu-l} obligate%t{obligã} pe %3 sã execute sarcina de tipul %1") relations-ro.kif 139-139
(format sv confersObligation "%2 förpliktar %n{inte} %3 till att utföra uppgift av typen %1") relations-sv.txt 125-125
(format tg confersObligation "%2 nauubliga %3 gumawa ang gawain ng ang klase %1") relations-cb.txt 84-84
(termFormat ChineseLanguage confersObligation "授予义务") domainEnglishFormat.kif 16584-16584
(termFormat ChineseLanguage confersObligation "授予执行任务") chinese_format.kif 202-202
(termFormat ChineseTraditionalLanguage confersObligation "授予義務") domainEnglishFormat.kif 16583-16583
(termFormat EnglishLanguage confersObligation "confers obligation") domainEnglishFormat.kif 16582-16582
(termFormat de confersObligation "konferiertVerpflichtung") terms-de.txt 82-82
(termFormat tg confersObligation "nakikipaghirap nauubliga") relations-tg.txt 117-117

antecedent
-------------------------


(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))		 Government.kif 714-719
(=>
    (confersObligation ?F ?E ?A)
    (confersRight ?F ?E ?A))		 Law.kif 343-345
(=>
    (confersObligation ?FORMULA ?AGENT1 ?AGENT2)
    (holdsObligation ?FORMULA ?AGENT2))		 Merge.kif 17485-17487

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


(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY))
    (confersObligation
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY
                        (MeasureFn ?VOTINGAGE YearDuration))
                    (age ?AGENT
                        (MeasureFn ?AGE YearDuration))
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))		 Government.kif 1211-1231
(=>
    (and
        (subclass ?PUB JointPublication)
        (instance ?ONE ?PUB)
        (containsInformation ?ONE ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))		 MilitaryProcesses.kif 940-949
(=>
    (contractor ?BUILDING ?CONTRACTOR)
    (exists (?CONTRACT ?AGENT)
        (and
            (property ?CONTRACT Contract)
            (partyToAgreement ?AGENT ?CONTRACT)
            (partyToAgreement ?CONTRACTOR ?CONTRACT)
            (confersObligation
                (exists (?CONSTRUCT ?BUILDING2)
                    (and
                        (instance ?CONSTRUCT Constructing)
                        (agent ?CONSTRUCT ?CONTRACTOR)
                        (result ?CONSTRUCT ?BUILDING2)
                        (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))		 Mid-level-ontology.kif 20822-20835
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?PRODUCT)
            (confersObligation
                (exists (?BUYING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?PO))
                            (BeginFn
                                (WhenFn ?BUYING)))
                        (instance ?BUYING Buying)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?BUYING ?PRODUCT)
                        (refers ?PO ?PRODUCT)
                        (agent ?BUYING ?BUYER)
                        (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))		 Mid-level-ontology.kif 29883-29903
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))		 Merge.kif 16547-16553
(=>
    (subProposition CompulsorySuffrageLaw
        (RegionalLawFn ?POLITY))
    (confersObligation
        (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY
                        (MeasureFn ?VOTINGAGE YearDuration))
                    (age ?AGENT
                        (MeasureFn ?AGE YearDuration))
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?POLITY))		 Government.kif 1191-1209


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 3.0 is open source software produced by Articulate Software and its partners