CognitiveAgent - Sigma 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 1573-1579
(documentation CognitiveAgent JapaneseLanguage "CognitiveAgent は、Agent で、論証したり、熟考したり、計画を立てたり、感情を体験するする能力がある。 Human は CognitiveAgent のサブクラスだが、Human のインスタンスでもある CognitiveAgent のインスタンスの可能性がある。例えば、 Primate、イルカ、クジラ、および一部の地球外物(存在する場合)は CognitiveAgent と見なされるかもしれない。")	japanese_format.kif 282-286
(subclass CognitiveAgent SentientAgent)	Merge.kif 1571-1571	認識エージェントは意識［知覚］を持つ代理(人) の subclass では %n

appearance as argument number 2

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

appearance as argument number 3

(domain MusicalInterpretationFn 1 CognitiveAgent)	Music.kif 847-847	MusicalInterpretationFn の数値 1 引数は認識エージェントの instance では %n
(domain RemixFn 2 CognitiveAgent)	Music.kif 888-888	RemixFn の数値 2 引数は認識エージェントの instance では %n
(domain accountHolder 2 CognitiveAgent)	FinancialOntology.kif 252-252	accountHolder の数値 2 引数は認識エージェントの instance では %n
(domain administrator 2 CognitiveAgent)	FinancialOntology.kif 4033-4033	administrator の数値 2 引数は認識エージェントの instance では %n
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 15441-15441	agreementClause の数値 4 引数は認識エージェントの instance では %n
(domain albumArtist 2 CognitiveAgent)	Music.kif 278-278	albumArtist の数値 2 引数は認識エージェントの instance では %n
(domain allegiance 1 CognitiveAgent)	Mid-level-ontology.kif 25807-25807	allegiance の数値 1 引数は認識エージェントの instance では %n
(domain allegiance 2 CognitiveAgent)	Mid-level-ontology.kif 25808-25808	allegiance の数値 2 引数は認識エージェントの instance では %n
(domain approves 1 CognitiveAgent)	Mid-level-ontology.kif 28851-28851	approves の数値 1 引数は認識エージェントの instance では %n
(domain approves 2 CognitiveAgent)	Mid-level-ontology.kif 28852-28852	approves の数値 2 引数は認識エージェントの instance では %n
(domain believes 1 CognitiveAgent)	Merge.kif 2806-2806	believes の数値 1 引数は認識エージェントの instance では %n
(domain borrower 2 CognitiveAgent)	FinancialOntology.kif 1317-1317	borrower の数値 2 引数は認識エージェントの instance では %n
(domain buys 1 CognitiveAgent)	Mid-level-ontology.kif 31853-31853	buys の数値 1 引数は認識エージェントの instance では %n
(domain checkOutTime 1 CognitiveAgent)	Hotel.kif 685-685	checkOutTime の数値 1 引数は認識エージェントの instance では %n
(domain composer 1 CognitiveAgent)	Music.kif 145-145	composer の数値 1 引数は認識エージェントの instance では %n
(domain confersObligation 3 CognitiveAgent)	Merge.kif 17616-17616	confersObligation の数値 3 引数は認識エージェントの instance では %n
(domain confersRight 3 CognitiveAgent)	Merge.kif 17595-17595	confersRight の数値 3 引数は認識エージェントの instance では %n
(domain considers 1 CognitiveAgent)	Merge.kif 2796-2796	considers の数値 1 引数は認識エージェントの instance では %n
(domain contestEntry 2 CognitiveAgent)	Music.kif 1083-1083	contestEntry の数値 2 引数は認識エージェントの instance では %n
(domain contestOrganizer 2 CognitiveAgent)	Music.kif 1066-1066	contestOrganizer の数値 2 引数は認識エージェントの instance では %n
(domain contestParticipantRepresentation 2 CognitiveAgent)	Music.kif 1108-1108	contestParticipantRepresentation の数値 2 引数は認識エージェントの instance では %n
(domain creditRanking 1 CognitiveAgent)	FinancialOntology.kif 2519-2519	creditRanking の数値 1 引数は認識エージェントの instance では %n
(domain customer 1 CognitiveAgent)	Mid-level-ontology.kif 8887-8887	customer の数値 1 引数は認識エージェントの instance では %n
(domain customerRepresentative 1 CognitiveAgent)	FinancialOntology.kif 3646-3646	customerRepresentative の数値 1 引数は認識エージェントの instance では %n
(domain customerRepresentative 2 CognitiveAgent)	FinancialOntology.kif 3647-3647	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 23903-23916	属性は 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 23923-23936	属性は 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 2728-2734	工程は意図的なプロセスの 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 20272-20283	工程は 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 20157-20165	工程は 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 4575-4580	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 4568-4573	representativeAgentToAgent AutonomousAgent, 認識エージェント and AutonomousAgent AutonomousAgent は組織の instance では %n 認識エージェントは認識エージェントの instance では %n AutonomousAgent は認識エージェントを employs %n{ない}
(=> (instance ?AGENT CognitiveAgent) (capability Reasoning agent ?AGENT))	Merge.kif 12132-12134	オブジェクトは認識エージェントの instance では %n オブジェクトは推理を agent として行う capable では %n

consequent

(=> (and (instance ?ARREST PlacingUnderArrest) (agent ?ARREST ?AGENT)) (instance ?AGENT CognitiveAgent))	Mid-level-ontology.kif 25125-25129	工程は PlacingUnderArrest の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は認識エージェントの instance では %n
(=> (and (instance ?EV Evacuation) (agent ?EV ?H)) (instance ?H CognitiveAgent))	MilitaryProcesses.kif 2576-2580	工程は Evacuation の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は認識エージェントの instance では %n
(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))	Merge.kif 12078-12082	工程は学習の instance では %n AutonomousAgent は工程の agent では %n AutonomousAgent は認識エージェントの instance では %n
(=> (and (instance ?O OccupationalRole) (property ?X ?O)) (instance ?X CognitiveAgent))	Mid-level-ontology.kif 23891-23895	属性は 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 23903-23916	属性は 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 23923-23936	属性は 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 13123-13136	工程は 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{ない}
(=> (attribute ?OBJECT ForSale) (exists (?CA ?S) (and (instance ?CA CognitiveAgent) (instance ?OBJECT Object) (capability Selling agent ?CA) (capability Selling patient ?OBJECT) (desires ?CA (and (instance ?S Selling) (agent ?S ?CA) (patient ?S ?OBJECT))))))	Economy.kif 6665-6677	ForSale はオブジェクトの attribute では %n 認識エージェントエンティティー認識エージェントは認識エージェントの instance では %n オブジェクトはオブジェクトの instance では %n 認識エージェントは販売を agent として行う capable では %n オブジェクトは販売を patient として行う capable では %n 認識エージェントがエンティティーは販売の instance では %n 認識エージェントはエンティティーの agent では %n オブジェクトはエンティティーの patient では %n を desires %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 13184-13193	工程はコミュニケーションの 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 2795-2805	物理は 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 13201-13209	工程は普及の 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 24539-24544	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 24546-24551	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 23897-23901	属性は OccupationalRole の instance では %n 工程 typicalAction 工程 and AttrFn 認識エージェント and 属性
(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))	Merge.kif 10621-10626	工程は意図的なプロセスの 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 13109-13121	工程は 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{ない}
(=> (instance ?WA WeatherAssessment) (containsFormula ?WA (exists (?R ?A ?WP) (and (instance ?R Reasoning) (instance ?A CognitiveAgent) (agent ?R ?A) (instance ?WP WeatherProcess) (patient ?R ?WP) (result ?R ?WA) (earlier (WhenFn ?WP) (WhenFn ?WA))))))	Weather.kif 3582-3593	ContentBearingPhysical は WeatherAssessment の instance では %n containsFormula ContentBearingPhysical and エンティティーエンティティー and エンティティーエンティティーは推理の instance では %n エンティティーは認識エージェントの instance では %n エンティティーはエンティティーの agent では %n エンティティーは WeatherProcess の instance では %n エンティティーはエンティティーの patient では %n ContentBearingPhysical はエンティティーの result では %n エンティティーの time の existence は ContentBearingPhysical の time の existence より earlier happens %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 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

KB Term:			Term intersection

English Word: