refers - Sigma Knowledge base Browser

appearance as argument number 1

(documentation refers ChineseLanguage "(refers ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 提到或引用 ?OBJ2。注：refers 的意思比 represents 更概括，因为大概可以说，只有当一样东西在引用另一样东西时才能描述这件东西。例如：一篇主题为油价最近的变化的文章可以提到许多其它的东西，如：总体经济状况、加利福尼亚的天气、全球变暖的前景、替代能源的选择和各家石油公司股票的价格，等等。")	chinese_format.kif 2154-2157
(documentation refers EnglishLanguage "(refers ?OBJ1 ?OBJ2) means that ?OBJ1 mentions or includes a reference to ?OBJ2. Note that refers is more general in meaning than represents, because presumably something can represent something else only if it refers to this other thing. For example, an article whose topic is a recent change in the price of oil may refer to many other things, e.g. the general state of the economy, the weather in California, the prospect of global warming, the options for alternative energy sources, the stock prices of various oil companies, etc.")	Merge.kif 4208-4216
(domain refers 1 Entity)	Merge.kif 4205-4205	domain refers, 1 and Entity
(domain refers 2 Entity)	Merge.kif 4206-4206	domain refers, 2 and Entity
(instance refers BinaryPredicate)	Merge.kif 4204-4204	instance refers and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage refers "%1 %n{doesn't} 提到 %2")	chinese_format.kif 225-225
(format EnglishLanguage refers "%1 %n{doesn't} include%p{s} a reference to %2")	english_format.kif 229-229
(subrelation deceptiveIdentifier refers)	Mid-level-ontology.kif 21245-21245	subrelation deceptiveIdentifier and refers
(subrelation emailAddress refers)	Mid-level-ontology.kif 3542-3542	subrelation emailAddress and refers
(subrelation names refers)	Merge.kif 4218-4218	subrelation names and refers
(subrelation phoneNumber refers)	FinancialOntology.kif 3578-3578	subrelation phoneNumber and refers
(subrelation registeredItem refers)	Mid-level-ontology.kif 14210-14210	subrelation registeredItem and refers
(subrelation represents refers)	Merge.kif 4238-4238	subrelation represents and refers
(termFormat ChineseLanguage refers "参照")	domainEnglishFormat.kif 49004-49004
(termFormat ChineseLanguage refers "提到")	chinese_format.kif 226-226
(termFormat ChineseTraditionalLanguage refers "參照")	domainEnglishFormat.kif 49003-49003
(termFormat EnglishLanguage refers "refers")	domainEnglishFormat.kif 49002-49002

antecedent

(=> (and (instance ?AWARD LegalAward) (refers ?AWARD ?ACTION) (instance ?ACTION LegalAction) (agent ?ACTION ?PLAINTIFF)) (confersRight (exists (?GET ?OBJ ?VALUE) (and (instance ?GET Getting) (experiencer ?GET ?PLAINTIFF) (patient ?GET ?OBJ) (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))	Mid-level-ontology.kif 13847-13859	instance Entity and LegalAward refers Entity and Process instance Process and LegalAction agent Process and CognitiveAgent confersRight entity entity and entity instance entity and Getting experiencer entity and CognitiveAgent patient entity and entity monetaryValue entity and entity, Entity and CognitiveAgent
(=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?A)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P))))	ComputingBrands.kif 3015-3023	instance Entity and 〔アプリケーションの〕強制終了 refers Entity and ComputerProcess programRunning ComputerProcess and Abort Abort instance Abort and Abort processAborted Abort and ComputerProcess
(=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X))))	FinancialOntology.kif 893-908	instance Process and DutyTax refers Process and Entity patient Process and Entity Process Object and Entity instance Process and Transfer patient Process and Entity origin Process and Object destination Process and Entity instance Object and Nation instance Entity and Nation equal Object and Entity earlier WhenFn Process and WhenFn Process causes Process and Process
(=> (and (treatedPageDefinition ?EXPERIMENT ?FORMULA) (instance ?PAGE WebPage) (refers ?FORMULA ?PAGE)) (treatedPage ?PAGE ?EXPERIMENT))	UXExperimentalTerms.kif 4356-4361	treatedPageDefinition Experimenting and Formula instance WebPage and WebPage refers Formula and WebPage treatedPage WebPage and Experimenting

consequent

(=> (and (attribute ?A AppraisalAsJustTreatment) (instance ?AJT AppraisalProcess) (agent ?AJT ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AJT ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (wants ?A ?P))))	emotion.kif 374-387	attribute CognitiveAgent and AppraisalAsJustTreatment instance CognitiveAgentJT and AppraisalProcess agent CognitiveAgentJT and CognitiveAgent Process CognitiveAgent instance Process and Process refers CognitiveAgentJT and Process agent Process and CognitiveAgent equal CognitiveAgent and CognitiveAgent patient Process and CognitiveAgent wants CognitiveAgent and Process
(=> (and (attribute ?A AppraisalAsUnjustTreatment) (instance ?AUJ AppraisalProcess) (agent ?AUJ ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AUJ ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (not (wants ?A ?P)))))	emotion.kif 349-363	attribute CognitiveAgent and AppraisalAsUnjustTreatment instance CognitiveAgentUJ and AppraisalProcess agent CognitiveAgentUJ and CognitiveAgent Process CognitiveAgent instance Process and Process refers CognitiveAgentUJ and Process agent Process and CognitiveAgent equal CognitiveAgent and CognitiveAgent patient Process and CognitiveAgent wants CognitiveAgent and Process
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT))))	Dining.kif 130-150	customer CognitiveAgent and CognitiveAgent corkageFee CurrencyMeasure, Object and CognitiveAgent instance Object and Object Process instance Process and Buying patient Process and Object destination Process and CognitiveAgent origin Process and CognitiveAgent instance Process and Drinking agent Process and CognitiveAgent resource Process and Object Process instance Process and Corkage agent Process and CognitiveAgent refers Process and Object destination Process and CognitiveAgent
(=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))))	Law.kif 338-349	defenseLawyer LegalAction and CognitiveAgent defendant LegalAction and CognitiveAgent desires CognitiveAgent and entity instance entity and LegalDecision refers entity and LegalAction wants CognitiveAgent and entity
(=> (and (instance ?AS ArtSchool) (instance ?P EducationalProcess) (eventLocated ?P ?AS)) (exists (?M ?ART) (and (instance ?M Making) (patient ?M ?ART) (instance ?ART ArtWork) (refers ?P ?M))))	Mid-level-ontology.kif 14365-14375	instance Entity and ArtSchool instance Process and EducationalProcess eventLocated Process and Entity Process Entity instance Process and Making patient Process and Entity instance Entity and ArtWork refers Process and Process
(=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT Agent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS))))	Mid-level-ontology.kif 13543-13556	instance Process and Commenting instance Entity and Process patient Process and Entity Agent Process and Process instance Agent and Agent instance Process and Speaking instance Process and Looking agent Process and Agent agent Process and Agent patient Process and Entity refers Process and Entity
(=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory))	QoSontology.kif 229-234	instance ComputerDirectory and ComputerDirectory instance ComputerFile and ComputerFile directoryOf ComputerFile and ComputerDirectory refers AddressFn ComputerFile and ComputerDirectory
(=> (and (instance ?FACILITY NuclearWeaponResearchFacility) (instance ?RESEARCH ResearchingWeaponOfMassDestruction) (eventLocated ?RESEARCH ?FACILITY)) (refers ?RESEARCH NuclearWeapon))	WMD.kif 661-666	instance Entity and NuclearWeaponResearchFacility instance Process and ResearchingWeaponOfMassDestruction eventLocated Process and Entity refers Process and NuclearWeapon
(=> (and (instance ?P Human) (attribute ?P Criminal)) (exists (?CA ?LC) (and (instance ?CA CriminalAction) (instance ?LC LegalConviction) (refers ?LC ?CA) (patient ?LC ?P))))	Justice.kif 87-96	instance Object and Human attribute Object and Criminal Entity Process instance Entity and CriminalAction instance Process and LegalConviction refers Process and Entity patient Process and Object
(=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE))))	UXExperimentalTerms.kif 2282-2295	instance CorpuscularObject and ViewItemPage instance Process and WebListing component Process and CorpuscularObject patient Process and Entity instance Entity and Physical Process Process and ProcessCONTENT instance Process and Stating patient Process and Process refers Process and Entity result Process and ProcessCONTENT part ProcessCONTENT and CorpuscularObject
(=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A)))))	Law.kif 574-588	instance Process and IntentionalProcess result Process and ContentBearingPhysical recordForAgreement ContentBearingPhysical and Agreement attribute Agreement and Legal Process Process, Process and Process instance Process and Offering instance Process and ReachingAgreement refers Process and Agreement refers Process and Agreement agent Process and Process agent Process and Process earlier WhenFn Process and WhenFn Process
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 18839-18868	instance Proposition and Argument instance Process and Reasoning subProposition Proposition and Archeology realization Process and Proposition Process entity, Object and TimeDuration instance Process and Discovering instance Object and Object patient Process and Object refers Process and Process earlier WhenFn Process and WhenFn Process age Object and TimeDuration greaterThan TimeDuration and MeasureFn 50 and YearDuration holdsDuring ImmediatePastFn WhenFn Process and surface entity and entity instance entity and BodyOfWater orientation Object, entity and Below surface entity and entity instance entity and LandArea orientation Object, entity and Below
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (instance ?A1 ?AC) (subclass ?PC Process) (subclass ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (refers ?X ?Q) (refers ?Q ?PC) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 28196-28225	instance Process and BreakingRecord agent Process and Agent SetOrClass SetOrClass, Process, TimePoint, CaseRole, SetOrClass and Entity instance SetOrClass and Set instance Agent and SetOrClass subclass SetOrClass and Process subclass SetOrClass and Region instance TimePoint and TimePoint instance Entity and Quantity refers Process and Entity refers Entity and SetOrClass playsRoleInEvent Agent, CaseRole and Process eventLocated Process and SetOrClass Entity Entity instance Entity and SetOrClass equal Entity and Agent instance Entity and SetOrClass holdsDuring TimeIntervalFn TimePoint and EndFn WhenFn Process and playsRoleInEvent Entity, CaseRole and Entity eventLocated Entity and SetOrClass
(=> (and (inventory ?O ?C) (member ?I ?C)) (refers ?O ?I))	Mid-level-ontology.kif 20607-20611	inventory ContentBearingObject and Collection member Object and Collection refers ContentBearingObject and Object
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))	Law.kif 361-371	prosecutor LegalAction and CognitiveAgent defendant LegalAction and CognitiveAgent desires CognitiveAgent and entity instance entity and LegalDecision refers entity and LegalAction wants CognitiveAgent and entity
(=> (attribute ?COACH Coach) (exists (?ATHLETE ?GAME ?EDUCATION) (and (instance ?ATHLETE Human) (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?ATHLETE) (refers ?EDUCATION ?GAME))))	Sports.kif 410-419	attribute Agent and Coach Entity Entity and Process instance Entity and Human instance Entity and Game instance Process and EducationalProcess agent Process and Agent patient Process and Entity refers Process and Entity
(=> (attribute ?H ArtCritic) (exists (?T ?AW) (and (instance ?AW ArtWork) (authors ?H ?T) (refers ?T ?AW))))	Mid-level-ontology.kif 18758-18764	attribute Agent and ArtCritic ContentBearingObject Entity instance Entity and ArtWork authors Agent and ContentBearingObject refers ContentBearingObject and Entity
(=> (attribute ?H NewsReporter) (exists (?T ?EV) (and (instance ?EV Process) (overlapsTemporally (WhenFn ?EV) (WhenFn ?H)) (authors ?H ?T) (refers ?T ?EV))))	Mid-level-ontology.kif 18743-18752	attribute Agent and NewsReporter ContentBearingObject Physical instance Physical and Process overlapsTemporally WhenFn Physical and WhenFn Agent authors Agent and ContentBearingObject refers ContentBearingObject and Physical
(=> (attribute ?X Historical) (refers History ?X))	Mid-level-ontology.kif 24709-24711	attribute Object and Historical refers History and Object
(=> (coaches ?COACH ?PLAYER) (and (attribute ?COACH Coach) (exists (?GAME ?EDUCATION) (and (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?PLAYER) (refers ?EDUCATION ?GAME)))))	Sports.kif 427-437	coaches Human and Human attribute Human and Coach Entity Process instance Entity and Game instance Process and EducationalProcess agent Process and Human patient Process and Human refers Process and Entity
(=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (refers ?Number ?Instance))	QoSontology.kif 913-915	componentDataID TimePosition, ComputerComponent, ComputerComponent, UnitOfMeasure and SymbolicString refers SymbolicString and ComputerComponent
(=> (describes ?FORMULA ?OBJECT) (exists (?STATING ?AGENT) (and (instance ?STATING Stating) (agent ?STATING ?AGENT) (patient ?STATING ?FORMULA) (refers ?STATING ?OBJECT))))	Mid-level-ontology.kif 13800-13807	describes Formula and Object Process Agent instance Process and Stating agent Process and Agent patient Process and Formula refers Process and Object
(=> (evidence ?LA ?P) (exists (?A) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP))))	Law.kif 223-231	evidence LegalAction and Physical Argument instance PhysicalROP and Proposition instance Argument and Argument refers Argument and LegalAction represents PhysicalROP and Physical premise Argument and PhysicalROP
(=> (experimentUpdate ?CBP ?EXP) (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2885-2887	experimentUpdate ContentBearingPhysical and Experimenting refers ContentBearingPhysical and Experimenting
(=> (finalExperimentReport ?CBP ?EXP) (refers ?CBP ?EXP))	UXExperimentalTerms.kif 2914-2916	finalExperimentReport ContentBearingPhysical and Experimenting refers ContentBearingPhysical and Experimenting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: