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 2448-2451 | |
(documentation agent JapaneseLanguage "(agent ?PROCESS ?AGENT) とは、?AGENT が自発的な意図 の有無にかかわらず、Process ?PROCESS のアニメーションまたは無生物のいずれかのアクティブな決定 要因であることを意味する。例:イブは次の命題の agentag である: イブがリンゴを噛む。") | japanese_format.kif 488-490 | |
(domain agent 1 Process) | Merge.kif 2444-2444 | Le nombre 1 argument de agent est une instance de processus |
(domain agent 2 AutonomousAgent) | Merge.kif 2445-2445 | Le nombre 2 argument de agent est une instance de AutonomousAgent |
(instance agent CaseRole) | Merge.kif 2442-2442 | agent est une instance de r�le d�pendant du cas |
(instance agent PartialValuedRelation) | Merge.kif 2443-2443 | agent est une instance de relation partielle |
(subrelation agent involvedInEvent) | Merge.kif 2446-2446 | agent est une sous-relation de involvedInEvent |
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 24460-24460 | typicalAction est reli� � l'int�rieur de SUMO � agent |
(subrelation arrestingOfficer agent) | Law.kif 228-228 | arrestingOfficer est une sous-relation de agent |
(subrelation contestParticipant agent) | Mid-level-ontology.kif 21248-21248 | contestParticipant est une sous-relation de agent |
(subrelation gainsControl agent) | Mid-level-ontology.kif 25076-25076 | gainsControl est une sous-relation de agent |
(subrelation invadingVirus agent) | VirusProteinAndCellPart.kif 23-23 | invadingVirus est une sous-relation de agent |
(subrelation perpetrator agent) | Law.kif 274-274 | perpetrator est une sous-relation de agent |
(subrelation plaintiff agent) | Mid-level-ontology.kif 17659-17659 | plaintiff est une sous-relation de agent |
(subrelation prosecutor agent) | Law.kif 314-314 | prosecutor est une sous-relation de agent |
(subrelation serviceProvider agent) | Mid-level-ontology.kif 24520-24520 | serviceProvider est une sous-relation de agent |
(termFormat ChineseLanguage agent "主事") | chinese_format.kif 54-54 | serviceProvider est une sous-relation de agent |
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 456-469 | Ann�e est une instance de l' ann�e nombre entier equal ChildrenBornPerWomanFn secteur g�opolitique and ann�e and le nombre d' instances dans la classe d�crite par cha�ne sympbolique |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1203-1210 | ?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 885-893 | ?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 1054-1065 | ?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 1122-1136 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
(exists (?D ?M) (and (instance ?D Disseminating) (agent ?D Netflix) (patient ?D ?M) (instance ?M MotionPicture))) |
Medicine.kif 4566-4571 | Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture |
(exists (?FM) (and (instance ?FM FilmMaking) (agent ?FM Netflix))) |
Medicine.kif 4573-4576 | Processus processus est une instance de FilmMaking processus est un agent de Netflix |
![]() |
![]() |