confersObligation - Sigma Knowledge base Browser

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 "这是用来表达 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 17529-17532
(domain confersObligation 1 Formula)	Merge.kif 17525-17525	The number 1 argument of confers obligation is an instance of formula
(domain confersObligation 2 Entity)	Merge.kif 17526-17526	The number 2 argument of confers obligation is an instance of entity
(domain confersObligation 3 CognitiveAgent)	Merge.kif 17527-17527	The number 3 argument of confers obligation is an instance of cognitive agent
(instance confersObligation TernaryPredicate)	Merge.kif 17524-17524	confers obligation is an instance of ternary predicate
(relatedInternalConcept confersObligation confersRight)	Merge.kif 17528-17528	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 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 16600-16600
(termFormat ChineseLanguage confersObligation "授予执行任务")	chinese_format.kif 202-202
(termFormat ChineseTraditionalLanguage confersObligation "授予義務")	domainEnglishFormat.kif 16599-16599
(termFormat EnglishLanguage confersObligation "confers obligation")	domainEnglishFormat.kif 16598-16598
(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 678-683	If a time point is an agreement effective date of an agreement and the agreement obligates a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent is obliged to perform tasks of type the formula holds during immediately after the time position
(=> (confersObligation ?F ?E ?A) (confersRight ?F ?E ?A))	Law.kif 343-345	If an entity obligates a cognitive agent to perform task of the type a formula, then the entity allows the cognitive agent to perform task of the type the formula
(=> (confersObligation ?FORMULA ?AGENT1 ?AGENT2) (holdsObligation ?FORMULA ?AGENT2))	Merge.kif 17534-17536	If an entity obligates a cognitive agent to perform task of the type a formula, then the cognitive agent is obliged to perform tasks of type the formula

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 1175-1195	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
(=> (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	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
(=> (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 21081-21094	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
(=> (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 30152-30172	If an entity is an instance of purchase order, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
(=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))	Merge.kif 16596-16602	If there is a legal relation between a human and another human, then there exist an entity and a formula such that the entity is an instance of declaring and the entity obligates the human to perform task of the type the formula and the entity obligates the other human to perform task of the type the formula
(=> (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 1155-1173	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity

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