agent |
appearance as argument number 1 |
![]() |
(documentation agent ChineseLanguage "(agent ?PROCESS ?AGENT) 的意思是 ?AGENT,不管它 有没有生命,也不管他有没有自主意图,它在 ?PROCESS 这个 Process 中是一个主动的决定因素。例如:在以下 '夏娃咬了一口苹果'这命题中,夏娃是个 agent。") | chinese_format.kif 1865-1867 | |
(documentation agent EnglishLanguage "(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.") | Merge.kif 2437-2440 | |
(documentation agent JapaneseLanguage "(agent ?PROCESS ?AGENT) とは、?AGENT が自発的な意図 の有無にかかわらず、Process ?PROCESS のアニメーションまたは無生物のいずれかのアクティブな決定 要因であることを意味する。例:イブは次の命題の agentag である: イブがリンゴを噛む。") | japanese_format.kif 488-490 | |
(domain agent 1 Process) | Merge.kif 2433-2433 | 主事 的 1 数量 是 过程 的 instance |
(domain agent 2 AutonomousAgent) | Merge.kif 2434-2434 | 主事 的 2 数量 是 施事体 的 instance |
(instance agent CaseRole) | Merge.kif 2431-2431 | 主事 是 格角色 的 instance |
(instance agent PartialValuedRelation) | Merge.kif 2432-2432 | 主事 是 部分值关系 的 instance |
(subrelation agent involvedInEvent) | Merge.kif 2435-2435 | 主事 是 参与活动 的 subrelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage agent "%2 %n 是 %1 的 agent") | chinese_format.kif 53-53 | |
(format EnglishLanguage agent "%2 is %n an agent of %1") | english_format.kif 53-53 | |
(format FrenchLanguage agent "%1 est %n un agent de %2") | french_format.kif 55-55 | |
(format ItalianLanguage agent "%1 è %n un agente di %2") | relations-it.txt 22-22 | |
(format JapaneseLanguage agent "%2 は %1 の agent では %n") | japanese_format.kif 1875-1875 | |
(format PortugueseLanguage agent "%1 e' %n um agente de %2") | portuguese_format.kif 7-7 | |
(format cz agent "%2 %p{je} %n{nen�} p�vodcem %1") | relations-cz.txt 80-80 | |
(format de agent "%1 ist der agent von %2 %n{nicht}") | relations-de.txt 62-62 | |
(format hi agent "%1 %2 kaa kartaa %n hai") | relations-hindi.txt 53-53 | |
(format ro agent "%1 %n{nu} este un agent%t{agent} pentru %2") | relations-ro.kif 74-74 | |
(format sv agent "%1 är %n{inte} en agent till %2") | relations-sv.txt 54-54 | |
(format tg agent "%1 %n ang kumakatawan sa %2") | relations-cb.txt 56-56 | |
(relatedInternalConcept typicalAction agent) | Mid-level-ontology.kif 22767-22767 | typicalAction 和 主事 是 内部相关 |
(subrelation arrestingOfficer agent) | Law.kif 227-227 | arrestingOfficer 是 主事 的 subrelation |
(subrelation contestParticipant agent) | Mid-level-ontology.kif 19626-19626 | 比赛参与者 是 主事 的 subrelation |
(subrelation gainsControl agent) | Mid-level-ontology.kif 23384-23384 | 取得控制权 是 主事 的 subrelation |
(subrelation invadingVirus agent) | VirusProteinAndCellPart.kif 23-23 | 入侵病毒 是 主事 的 subrelation |
(subrelation perpetrator agent) | Law.kif 271-271 | perpetrator 是 主事 的 subrelation |
(subrelation plaintiff agent) | Mid-level-ontology.kif 16244-16244 | 原告 是 主事 的 subrelation |
(subrelation prosecutor agent) | Law.kif 309-309 | prosecutor 是 主事 的 subrelation |
(subrelation serviceProvider agent) | Mid-level-ontology.kif 22828-22828 | 服务供应者 是 主事 的 subrelation |
(termFormat ChineseLanguage agent "主事") | chinese_format.kif 54-54 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 482-495 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1241-1248 | 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING
|
(containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 923-931 | 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
|
(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw) |
Government.kif 1092-1103 | 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw) |
Government.kif 1160-1174 | 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
(exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture))) |
Medicine.kif 4559-4564 | 有存在 过程 和 实体 这样 那个 过程 是 传播 的 instance 和 Netflix 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 动态映像 的 instance |
(exists (?FM) (and (instance ?FM FilmMaking) (agent ?FM Netflix))) |
Medicine.kif 4566-4569 | 有存在 过程 这样 那个 过程 是 电影制作 的 instance 和 Netflix 是 那个 过程 的 agent |
![]() |
![]() |