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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersObligation
confersObligation

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


(documentation confersObligation ChineseLanguage "这是用来表达 FormulaEntityCognitiveAgent 三者之间的一种关系,那就是 Entity 要求 CognitiveAgent 去实现 Formula 所指的。") Merge.kif 22234-22236
(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 22230-22233
(domain confersObligation 1 Formula) Merge.kif 22226-22226 The number 1 argument of confers obligation is an instance of formula
(domain confersObligation 2 Entity) Merge.kif 22227-22227 The number 2 argument of confers obligation is an instance of entity
(domain confersObligation 3 CognitiveAgent) Merge.kif 22228-22228 The number 3 argument of confers obligation is an instance of cognitive agent
(instance confersObligation TernaryPredicate) Merge.kif 22225-22225 confers obligation is an instance of ternary predicate
(relatedInternalConcept confersObligation confersRight) Merge.kif 22229-22229 confers obligation is internally related to confers right

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 279-279
(format JapaneseLanguage confersObligation "%2 は %3 にタイプ %1 のタスクを実行する obligate%p{s} %n{ない}") english_format.kif 280-280
(termFormat ChineseLanguage confersObligation "授予义务") domainEnglishFormat.kif 16513-16513 "授予义务" is the printable form of confers obligation in ChineseLanguage
(termFormat ChineseLanguage confersObligation "授予执行任务") chinese_format.kif 202-202 "授予执行任务" is the printable form of confers obligation in ChineseLanguage
(termFormat ChineseTraditionalLanguage confersObligation "授予義務") domainEnglishFormat.kif 16512-16512 "授予義務" is the printable form of confers obligation in ChineseTraditionalLanguage
(termFormat EnglishLanguage confersObligation "confers obligation") domainEnglishFormat.kif 16511-16511 "confers obligation" is the printable form of confers obligation in english language

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


(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))
Government.kif 708-713
(=>
    (confersObligation ?F ?E ?A)
    (confersRight ?F ?E ?A))
Law.kif 382-384
(=>
    (confersObligation ?FORMULA ?AGENT1 ?AGENT2)
    (holdsObligation ?FORMULA ?AGENT2))
Merge.kif 22238-22240

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


(=>
    (and
        (instance ?PUB JointPublication)
        (containsInformation ?PUB ?CONTENT)
        (authors ?JORG ?PUB))
    (exists (?ORG)
        (and
            (subOrganization ?ORG USMilitary)
            (confersObligation ?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 929-937
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY))
    (confersObligation
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))
Government.kif 1174-1192
(=>
    (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 18476-18489
(=>
    (instance ?PO PurchaseOrder)
    (exists (?NUMBER ?BUYER ?SELLER)
        (and
            (uniqueIdentifier ?NUMBER ?PO)
            (buys ?BUYER ?SELLER ?ENT)
            (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 28068-28088
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 21138-21144
(=>
    (subProposition CompulsorySuffrageLaw
        (RegionalLawFn ?POLITY))
    (confersObligation
        (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?POLITY))
Government.kif 1156-1172


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners