TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CognitiveAgent ChineseLanguage " CognitiveAgent 是一个能够思考、深思熟虑、计划和体会感情的 Agent。虽然 Human 是 CognitiveAgent 的子类别，也可以出现非 Human 而却是 CognitiveAgent 的实例。例如：Primate、海豚、鲸鱼和外星人（如果它们存在的话)可以算是 CognitiveAgent。")	chinese_format.kif 1689-1692
(documentation CognitiveAgent EnglishLanguage "A CognitiveAgent is an AutonomousAgent that has the ability to reason, deliberate, make plans, and experience emotions. Although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, Primates, dolphins, whales, and some extraterrestrials (if they exist) might be considered CognitiveAgents.")	Merge.kif 1578-1584
(documentation CognitiveAgent JapaneseLanguage "CognitiveAgent は、Agent で、論証したり、熟考したり、計画を立てたり、感情を体験するする能力がある。 Human は CognitiveAgent のサブクラスだが、Human のインスタンスでもある CognitiveAgent のインスタンスの可能性がある。例えば、 Primate、イルカ、クジラ、および一部の地球外物(存在する場合)は CognitiveAgent と見なされるかもしれない。")	japanese_format.kif 282-286
(subclass CognitiveAgent SentientAgent)	Merge.kif 1576-1576	認識エージェントは意識［知覚］を持つ代理(人) の subclass では %n

appearance as argument number 2

(subclass Deity CognitiveAgent)	People.kif 681-681	Deity は認識エージェントの subclass では %n
(subclass Human CognitiveAgent)	Merge.kif 14614-14614	人［人間］は認識エージェントの subclass では %n
(termFormat ChineseLanguage CognitiveAgent "有认知的主事")	chinese_format.kif 850-850
(termFormat EnglishLanguage CognitiveAgent "cognitive agent")	english_format.kif 902-902
(termFormat FrenchLanguage CognitiveAgent "agent cognitif")	french_format.kif 526-526
(termFormat Hindi CognitiveAgent "sangyaanaatmaka kartaa")	terms-hindi.txt 57-57
(termFormat ItalianLanguage CognitiveAgent "AgenteCognitivo")	terms-it.txt 60-60
(termFormat JapaneseLanguage CognitiveAgent "認識エージェント")	japanese_format.kif 2211-2211
(termFormat PortugueseLanguage CognitiveAgent "Agente Cognitivo")	portuguese_format.kif 478-478
(termFormat cz CognitiveAgent "cognitive agent")	terms-cz.txt 93-93
(termFormat ro CognitiveAgent "agent cognitiv")	relations-ro.kif 547-547
(termFormat tg CognitiveAgent "kinatawan may kaalaman")	terms-tg.txt 61-61

appearance as argument number 3

(domain MusicalInterpretationFn 1 CognitiveAgent)	Music.kif 845-845	MusicalInterpretationFn の数値 1 引数は認識エージェントの instance では %n
(domain RemixFn 2 CognitiveAgent)	Music.kif 886-886	RemixFn の数値 2 引数は認識エージェントの instance では %n
(domain accountHolder 2 CognitiveAgent)	FinancialOntology.kif 250-250	accountHolder の数値 2 引数は認識エージェントの instance では %n
(domain administrator 2 CognitiveAgent)	FinancialOntology.kif 4015-4015	administrator の数値 2 引数は認識エージェントの instance では %n
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 14042-14042	agreementClause の数値 4 引数は認識エージェントの instance では %n
(domain albumArtist 2 CognitiveAgent)	Music.kif 278-278	albumArtist の数値 2 引数は認識エージェントの instance では %n
(domain allegiance 1 CognitiveAgent)	Mid-level-ontology.kif 24108-24108	allegiance の数値 1 引数は認識エージェントの instance では %n
(domain allegiance 2 CognitiveAgent)	Mid-level-ontology.kif 24109-24109	allegiance の数値 2 引数は認識エージェントの instance では %n
(domain approves 1 CognitiveAgent)	Mid-level-ontology.kif 26867-26867	approves の数値 1 引数は認識エージェントの instance では %n
(domain approves 2 CognitiveAgent)	Mid-level-ontology.kif 26868-26868	approves の数値 2 引数は認識エージェントの instance では %n
(domain believes 1 CognitiveAgent)	Merge.kif 2810-2810	believes の数値 1 引数は認識エージェントの instance では %n
(domain borrower 2 CognitiveAgent)	FinancialOntology.kif 1301-1301	borrower の数値 2 引数は認識エージェントの instance では %n
(domain buys 1 CognitiveAgent)	Mid-level-ontology.kif 29876-29876	buys の数値 1 引数は認識エージェントの instance では %n
(domain checkOutTime 1 CognitiveAgent)	Hotel.kif 681-681	checkOutTime の数値 1 引数は認識エージェントの instance では %n
(domain composer 1 CognitiveAgent)	Music.kif 145-145	composer の数値 1 引数は認識エージェントの instance では %n
(domain confersObligation 3 CognitiveAgent)	Merge.kif 17426-17426	confersObligation の数値 3 引数は認識エージェントの instance では %n
(domain confersRight 3 CognitiveAgent)	Merge.kif 17405-17405	confersRight の数値 3 引数は認識エージェントの instance では %n
(domain considers 1 CognitiveAgent)	Merge.kif 2800-2800	considers の数値 1 引数は認識エージェントの instance では %n
(domain contestEntry 2 CognitiveAgent)	Music.kif 1081-1081	contestEntry の数値 2 引数は認識エージェントの instance では %n
(domain contestOrganizer 2 CognitiveAgent)	Music.kif 1064-1064	contestOrganizer の数値 2 引数は認識エージェントの instance では %n
(domain contestParticipantRepresentation 2 CognitiveAgent)	Music.kif 1106-1106	contestParticipantRepresentation の数値 2 引数は認識エージェントの instance では %n
(domain creditRanking 1 CognitiveAgent)	FinancialOntology.kif 2502-2502	creditRanking の数値 1 引数は認識エージェントの instance では %n
(domain customer 1 CognitiveAgent)	Mid-level-ontology.kif 7692-7692	customer の数値 1 引数は認識エージェントの instance では %n
(domain customerRepresentative 1 CognitiveAgent)	FinancialOntology.kif 3628-3628	customerRepresentative の数値 1 引数は認識エージェントの instance では %n
(domain customerRepresentative 2 CognitiveAgent)	FinancialOntology.kif 3629-3629	customerRepresentative の数値 2 引数は認識エージェントの instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (instance ?DAMAGE Damaging) (agent ?DAMAGE ?PROP) (destination ?DAMAGE ?DEST) (instance ?DEST CognitiveAgent)) (believes ?DEST (attribute ?PROP Dangerous)))	MilitaryPersons.kif 228-235	工程は損害を与えるの instance では %n AutonomousAgent は工程の agent では %n 工程は認識エージェントに ends %n{ない} 認識エージェントは認識エージェントの instance では %n 認識エージェントは Dangerous は AutonomousAgent の attribute では %n を believes %n{ない}
(=> (and (instance ?O OccupationalRole) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))) (exists (?X ?T ?P ?PT) (and (instance ?X CognitiveAgent) (holdsDuring ?T (attribute ?X ?O)) (instance ?P ?PCLASS) (agent ?X ?P) (time ?P ?PT) (temporalPart ?PT ?T))))	Mid-level-ontology.kif 22209-22222	属性は OccupationalRole の instance では %n typicalAction クラス and AttrFn 認識エージェント and 属性工程時間位置, AutonomousAgent and AutonomousAgentT 工程は認識エージェントの instance では %n 属性は工程の attribute では %n は時間位置の during holds %n{ない} AutonomousAgent はクラスの instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は AutonomousAgentT の during exists %n{ない} AutonomousAgentT は時間位置の part では %n
(=> (and (instance ?OCCD OccupationalDomain) (instance ?X (AttrFn CognitiveAgent ?OCCD))) (exists (?PCLASS) (and (typicalAction ?PCLASS (AttrFn CognitiveAgent ?OCCD)) (hasPurpose ?X (exists (?P) (and (instance ?P ?PCLASS) (agent ?X ?P)))))))	Mid-level-ontology.kif 22229-22242	属性は OccupationalDomain の instance では %n 物理は AttrFn 認識エージェント and 属性の instance では %n エンティティー typicalAction エンティティー and AttrFn 認識エージェント and 属性物理はエンティティーエンティティーはエンティティーの instance では %n エンティティーは物理の agent では %n の目的 %n{ない}
(=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT))	Merge.kif 2732-2738	工程は意図的なプロセスの instance では %n 認識エージェントは工程の agent では %n 認識エージェントは認識エージェントの instance では %n エンティティーは工程の patient では %n 認識エージェントはエンティティーに interested が %n
(=> (and (instance ?S SeizingProperty) (destination ?S ?A) (origin ?S ?V) (instance ?V CognitiveAgent)) (and (instance ?A Government) (not (confersNorm ?V (destination ?S ?A) Permission))))	Mid-level-ontology.kif 18650-18661	工程は SeizingProperty の instance では %n 工程はエンティティーに ends %n{ない} 工程はオブジェクトから originates %n{ない} オブジェクトは認識エージェントの instance では %n エンティティーは政府の instance では %n confersNorm オブジェクト, 工程はエンティティーに end ない and Permission
(=> (and (instance ?SAMPLE_COLL Collection) (instance ?POP_COLL Collection) (instance ?EXPERIMENT Experimenting) (instance ?AGENT CognitiveAgent) (agent ?EXPERIMENT ?AGENT) (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT)) (forall (?ATTRIBUTE) (=> (and (instance ?ATTRIBUTE Attribute) (property ?SAMPLE_COLL ?ATTRIBUTE) (inScopeOfInterest ?AGENT ?ATTRIBUTE) (not (equal ?ATTRIBUTE RepresentativeSample))) (property ?POP_COLL ?ATTRIBUTE))))	UXExperimentalTerms.kif 501-517	エンティティー_COLL はコレクションの instance では %n エンティティー_COLL はコレクションの instance では %n Experimenting は Experimenting の instance では %n 認識エージェントは認識エージェントの instance では %n 認識エージェントは Experimenting の agent では %n statisticalPopulation エンティティー_COLL, エンティティー_COLL and Experimenting 属性属性は属性の instance では %n エンティティー_COLL には attribute 属性 %n{ない} 認識エージェントは属性に interested が %n 属性は RepresentativeSample と equal ではエンティティー_COLL には attribute 属性 %n{ない}
(=> (and (instance ?STEAL Stealing) (destination ?STEAL ?AGENT) (origin ?STEAL ?VICTIM) (instance ?VICTIM CognitiveAgent)) (not (confersRight (destination ?STEAL ?AGENT) ?VICTIM ?AGENT)))	Mid-level-ontology.kif 18535-18543	工程は Stealing の instance では %n 工程は認識エージェントに ends %n{ない} 工程はオブジェクトから originates %n{ない} オブジェクトは認識エージェントの instance では %n オブジェクトは認識エージェントが工程は認識エージェントに ends %n{ない} のタスクを実行することはを allow ない
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP))	Government.kif 4614-4619	representativeAgentToAgent 地政学的地域, 認識エージェント and AutonomousAgent 地政学的地域は国民の instance では %n 認識エージェントは認識エージェントの instance では %n 地政学的地域の government は認識エージェントを employs %n{ない}
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP))	Government.kif 4607-4612	representativeAgentToAgent AutonomousAgent, 認識エージェント and AutonomousAgent AutonomousAgent は組織の instance では %n 認識エージェントは認識エージェントの instance では %n AutonomousAgent は認識エージェントを employs %n{ない}
(=> (instance ?AGENT CognitiveAgent) (capability Reasoning agent ?AGENT))	Merge.kif 11967-11969	オブジェクトは認識エージェントの instance では %n オブジェクトは推理を agent として行う capable では %n

consequent

(=> (and (instance ?ARREST PlacingUnderArrest) (agent ?ARREST ?AGENT)) (instance ?AGENT CognitiveAgent))	Mid-level-ontology.kif 23431-23435	工程は PlacingUnderArrest の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は認識エージェントの instance では %n
(=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent))	MilitaryProcesses.kif 2542-2546	工程は Evacuation の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は認識エージェントの instance では %n
(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))	Merge.kif 11913-11917	工程は学習の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は認識エージェントの instance では %n
(=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent))	Mid-level-ontology.kif 22197-22201	属性は OccupationalRole の instance では %n エンティティーには attribute 属性 %n{ない} エンティティーは認識エージェントの instance では %n
(=> (and (instance ?O OccupationalRole) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))) (exists (?X ?T ?P ?PT) (and (instance ?X CognitiveAgent) (holdsDuring ?T (attribute ?X ?O)) (instance ?P ?PCLASS) (agent ?X ?P) (time ?P ?PT) (temporalPart ?PT ?T))))	Mid-level-ontology.kif 22209-22222	属性は OccupationalRole の instance では %n typicalAction クラス and AttrFn 認識エージェント and 属性工程時間位置, AutonomousAgent and AutonomousAgentT 工程は認識エージェントの instance では %n 属性は工程の attribute では %n は時間位置の during holds %n{ない} AutonomousAgent はクラスの instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は AutonomousAgentT の during exists %n{ない} AutonomousAgentT は時間位置の part では %n
(=> (and (instance ?OCCD OccupationalDomain) (instance ?X (AttrFn CognitiveAgent ?OCCD))) (exists (?PCLASS) (and (typicalAction ?PCLASS (AttrFn CognitiveAgent ?OCCD)) (hasPurpose ?X (exists (?P) (and (instance ?P ?PCLASS) (agent ?X ?P)))))))	Mid-level-ontology.kif 22229-22242	属性は OccupationalDomain の instance では %n 物理は AttrFn 認識エージェント and 属性の instance では %n エンティティー typicalAction エンティティー and AttrFn 認識エージェント and 属性物理はエンティティーエンティティーはエンティティーの instance では %n エンティティーは物理の agent では %n の目的 %n{ない}
(=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 12954-12967	工程は Searching の instance では %n 物理は工程の patient では %n 物理は物理の instance では %n オブジェクト AutonomousAgent AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n オブジェクトはオブジェクトの instance では %n 物理はオブジェクトに located して %n 工程は AutonomousAgent の目的 AutonomousAgent は物理はオブジェクトに located して %n を knows %n{ない} %n{ない}
(=> (instance ?COMMUNICATE Communication) (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2) (and (refers ?PHYS ?ENTITY) (patient ?COMMUNICATE ?PHYS) (instance ?AGENT1 CognitiveAgent) (agent ?COMMUNICATE ?AGENT1) (instance ?AGENT2 CognitiveAgent) (destination ?COMMUNICATE ?AGENT2))))	Merge.kif 13015-13024	工程はコミュニケーションの instance では %n エンティティーエンティティー, AutonomousAgent and エンティティーエンティティーはエンティティーへの reference を includes %n{ない} エンティティーは工程の patient では %n AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n エンティティーは認識エージェントの instance では %n 工程はエンティティーに ends %n{ない}
(=> (instance ?CS CustomerSupport) (hasPurpose ?CS (exists (?MEMBER ?CUSTOMER ?ORG) (and (instance ?MEMBER CognitiveAgent) (instance ?CUSTOMER CognitiveAgent) (instance ?ORG Organization) (businessUnit ?CS ?ORG) (member ?MEMBER ?CS) (customerRepresentative ?MEMBER ?CUSTOMER ?ORG)))))	UXExperimentalTerms.kif 2803-2813	物理は CustomerSupport の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは認識エージェントの instance では %n エンティティーは認識エージェントの instance では %n エンティティーは組織の instance では %n businessUnit 物理 and エンティティーエンティティーは物理の member では %n customerRepresentative エンティティー, エンティティー and エンティティーの目的 %n{ない}
(=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T))))))))	Music.kif 67-80	コレクションは Discography の instance では %n 人［人間］属性人［人間］は認識エージェントの instance では %n 属性は人［人間］の attribute では %n 属性は Musician の instance では %n Album Album はコレクションの member では %n MakingMusic 時点, 地理的地域 and コレクションS musician Album, 人［人間］ and MakingMusic releaseForSale AlbumCopiesFn Album and コレクションS, 地理的地域 and 時点
(=> (instance ?DISSEMINATE Disseminating) (exists (?AGENT1 ?AGENT2) (and (destination ?DISSEMINATE ?AGENT1) (instance ?AGENT1 CognitiveAgent) (destination ?DISSEMINATE ?AGENT2) (instance ?AGENT2 CognitiveAgent) (not (equal ?AGENT1 ?AGENT2)))))	Merge.kif 13032-13040	工程は普及の instance では %n エンティティーエンティティー工程はエンティティーに ends %n{ない} エンティティーは認識エージェントの instance では %n 工程はエンティティーに ends %n{ない} エンティティーは認識エージェントの instance では %n エンティティーはエンティティーと equal では
(=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER))))	Mid-level-ontology.kif 22845-22850	ServiceProcess は ServiceProcess の instance では %n 認識エージェント認識エージェントは認識エージェントの instance では %n 認識エージェントは ServiceProcess の間サービスを provides %n{ない}
(=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER))))	Mid-level-ontology.kif 22852-22857	ServiceProcess は ServiceProcess の instance では %n 認識エージェント認識エージェントは認識エージェントの instance では %n 認識エージェントは ServiceProcess の間サービスを receives %n{ない}
(=> (instance ?FD FoodDistributionOperation) (exists (?FOOD ?CA) (and (instance ?FOOD (FoodForFn Animal)) (instance ?CA CognitiveAgent) (patient ?FD ?FOOD) (destination ?FD ?CA) (holdsDuring (ImmediateFutureFn (WhenFn ?FD)) (possesses ?CA ?FOOD)))))	Military.kif 62-71	工程は FoodDistributionOperation の instance では %n エンティティーエンティティーエンティティーは FoodForFn 動物の instance では %n エンティティーは認識エージェントの instance では %n エンティティーは工程の patient では %n 工程はエンティティーに ends %n{ない} エンティティーはエンティティーを possesses %n{ない} は工程の time の existence のすぐ after の during holds %n{ない}
(=> (instance ?O OccupationalRole) (exists (?PCLASS) (typicalAction ?PCLASS (AttrFn CognitiveAgent ?O))))	Mid-level-ontology.kif 22203-22207	属性は OccupationalRole の instance では %n エンティティー typicalAction エンティティー and AttrFn 認識エージェント and 属性
(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))	Merge.kif 10498-10503	工程は意図的なプロセスの instance では %n AutonomousAgent AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n
(=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 12940-12952	工程は Searching の instance では %n AutonomousAgent 物理 and オブジェクト AutonomousAgent は認識エージェントの instance では %n AutonomousAgent は工程の agent では %n 物理は物理の instance では %n 物理は工程の patient では %n オブジェクトはオブジェクトの instance では %n 物理はオブジェクトに located して %n 工程は AutonomousAgent の目的 AutonomousAgent は物理はオブジェクトに located して %n を knows %n{ない} %n{ない}
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (possesses ?AGENT ?SITE) (knows ?AGENT ?FORMULA))))	UXExperimentalTerms.kif 1179-1185	visitorParameter AutonomousAgent, 公式 and WebSite 認識エージェント認識エージェントは認識エージェントの instance では %n 認識エージェントは WebSite を possesses %n{ない} 認識エージェントは公式を knows %n{ない}

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

KB Term:			Term intersection

English Word: