Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  refers

Sigma KEE - refers
refers

appearance as argument number 1
-------------------------


(documentation refers ChineseLanguage "(refers ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 提到或引用 ?OBJ2。注:refers 的意思比 represents 更概括,因为大概可以说,只有当一样东西在引用另一样东西时 才能描述这件东西。例如:一篇主题为油价最近的变化的文章可以提到许多其它的东西,如:总体经济状况、 加利福尼亚的天气、全球变暖的前景、替代能源的选择和各家石油公司股票的价格,等等。") Merge.kif 4515-4518
(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 4506-4514
(domain refers 1 Entity) Merge.kif 4504-4504
(domain refers 2 Entity) Merge.kif 4505-4505
(instance refers BinaryPredicate) Merge.kif 4503-4503

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 139-139
(format FrenchLanguage refers "%1 %n{n'} inclut %n{pas} une r�f�rence � %2") french_format.kif 132-132
(format ItalianLanguage refers "%1 include un riferimento a %2") relations-it.txt 246-246
(format PortugueseLanguage refers "%1 %n{nao} inclui %n uma referencia a %2") portuguese_format.kif 84-84
(format ar refers "%1 %n{لا} يَتَضَمَّن إِشَارَة إِلَى %2") arabic_format.kif 82-82
(format de refers "%1 umfasst einen hinweis auf %2") relations-de.txt 293-293
(format hi refers "%1 men %2 kaa sandarbha hai") relations-hindi.txt 284-284
(format tg refers "%1 ay tumutungkil sa %2") relations-tg.txt 438-438
(subrelation deceptiveIdentifier refers) Mid-level-ontology.kif 20840-20840
(subrelation emailAddress refers) Mid-level-ontology.kif 3542-3542
(subrelation names refers) Merge.kif 4520-4520
(subrelation phoneNumber refers) FinancialOntology.kif 3571-3571
(subrelation registeredItem refers) Mid-level-ontology.kif 13949-13949
(subrelation represents refers) Merge.kif 4545-4545
(subrelation tags refers) Facebook.kif 547-547
(termFormat ChineseLanguage refers "提到") chinese_format.kif 226-226
(termFormat EnglishLanguage refers "refers") domainEnglishFormat.kif 8612-8612
(termFormat ar refers "«يَتَضَمَّن إِشَارَة إِلَى»") arabic_format.kif 532-532

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 13587-13598
(=>
    (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 894-909
(=>
    (and
        (treatedPageDefinition ?EXPERIMENT ?FORMULA)
        (instance ?PAGE WebPage)
        (refers ?FORMULA ?PAGE))
    (treatedPage ?PAGE ?EXPERIMENT))
UXExperimentalTerms.kif 4351-4356

consequent
-------------------------


(=>
    (ClassOnSportFn ?SPORT)
    (exists (?PERSON1 ?PERSON2 ?CLASS)
        (and
            (hasSkill ?SPORT ?PERSON1)
            (not
                (hasSkill ?SPORT ?PERSON2))
            (instance ?CLASS LearningClass)
            (refers ?CLASS ?SPORT))))
Offers.kif 74-81
(=>
    (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 334-345
(=>
    (and
        (instance ?AJT AppraisalAsJustTreatment)
        (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 371-383
(=>
    (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 14104-14114
(=>
    (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 13283-13296
(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 226-231
(=>
    (and
        (instance ?FACILITY NuclearWeaponResearchFacility)
        (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
        (eventLocated ?RESEARCH ?FACILITY))
    (refers ?RESEARCH NuclearWeapon))
WMD.kif 661-666
(=>
    (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 85-94
(=>
    (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 2285-2298
(=>
    (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 570-584
(=>
    (and
        (instance ?UPDATE_EVENT StatusUpdate)
        (agent ?UPDATE_EVENT ?WRITER)
        (result ?UPDATE_EVENT ?CONTENT))
    (refers ?CONTENT ?WRITER))
Facebook.kif 238-243
(=>
    (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 18418-18447
(=>
    (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 27749-27778
(=>
    (and
        (inventory ?O ?C)
        (member ?I ?C))
    (refers ?O ?I))
Mid-level-ontology.kif 20202-20206
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 357-367
(=>
    (attribute ?A AppraisalAsUnjustTreatment)
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (not
                (wants ?A ?P)))))
emotion.kif 349-360
(=>
    (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 ?H ArtCritic)
    (exists (?T ?AW)
        (and
            (instance ?AW ArtWork)
            (authors ?H ?T)
            (refers ?T ?AW))))
Mid-level-ontology.kif 18337-18343
(=>
    (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 18322-18331
(=>
    (attribute ?X Historical)
    (refers History ?X))
Mid-level-ontology.kif 24255-24257
(=>
    (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
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (refers ?Number ?Instance))
QoSontology.kif 905-907
(=>
    (describes ?FORMULA ?OBJECT)
    (exists (?STATING ?AGENT)
        (and
            (instance ?STATING Stating)
            (agent ?STATING ?AGENT)
            (patient ?STATING ?FORMULA)
            (refers ?STATING ?OBJECT))))
Mid-level-ontology.kif 13540-13547
(=>
    (evidence ?LA ?P)
    (exists (?A)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 222-230
(=>
    (experimentUpdate ?CBP ?EXP)
    (refers ?CBP ?EXP))
UXExperimentalTerms.kif 2888-2890

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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