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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - refers
refers

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


s__documentation(s__refers__m,s__ChineseLanguage,'(refers ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 提到或引用 ?OBJ2。注:refers 的意思比 represents 更概括,因为大概可以说,只有当一样东西在引用另一样东西时 才能描述这件东西。例如:一篇主题为油价最近的变化的文章可以提到许多其它的东西,如:总体经济状况、 加利福尼亚的天气、全球变暖的前景、替代能源的选择和各家石油公司股票的价格,等等。')

Merge.kif 4533-4536
s__documentation(s__refers__m,s__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 4524-4532
s__domain(s__refers__m,1,s__Entity)

Merge.kif 4522-4522
s__domain(s__refers__m,2,s__Entity)

Merge.kif 4523-4523
s__instance(s__refers__m,s__BinaryPredicate)

Merge.kif 4521-4521

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__refers__m,'%1 %n{doesnt} 提到 %2')

chinese_format.kif 225-225
s__format(s__EnglishLanguage,s__refers__m,'%1 %n{doesnt} include%p{s} a reference to %2')

english_format.kif 139-139
s__format(s__FrenchLanguage,s__refers__m,'%1 %n{n} inclut %n{pas} une r�f�rence � %2')

french_format.kif 132-132
s__format(s__ItalianLanguage,s__refers__m,'%1 include un riferimento a %2')

relations-it.txt 246-246
s__format(s__PortugueseLanguage,s__refers__m,'%1 %n{nao} inclui %n uma referencia a %2')

portuguese_format.kif 84-84
s__format(s__ar__m,s__refers__m,'%1 %n{لا} يَتَضَمَّن إِشَارَة إِلَى %2')

arabic_format.kif 82-82
s__format(s__de__m,s__refers__m,'%1 umfasst einen hinweis auf %2')

relations-de.txt 293-293
s__format(s__hi__m,s__refers__m,'%1 men %2 kaa sandarbha hai')

relations-hindi.txt 284-284
s__format(s__tg__m,s__refers__m,'%1 ay tumutungkil sa %2')

relations-tg.txt 438-438
s__subrelation(s__deceptiveIdentifier__m,s__refers__m)

Mid-level-ontology.kif 21201-21201
s__subrelation(s__emailAddress__m,s__refers__m)

Mid-level-ontology.kif 3546-3546
s__subrelation(s__names__m,s__refers__m)

Merge.kif 4538-4538
s__subrelation(s__phoneNumber__m,s__refers__m)

FinancialOntology.kif 3571-3571
s__subrelation(s__registeredItem__m,s__refers__m)

Mid-level-ontology.kif 14209-14209
s__subrelation(s__represents__m,s__refers__m)

Merge.kif 4563-4563
s__subrelation(s__tags__m,s__refers__m)

Facebook.kif 547-547
s__termFormat(s__ChineseLanguage,s__refers__m,'提到')

chinese_format.kif 226-226
s__termFormat(s__EnglishLanguage,s__refers__m,'refers')

domainEnglishFormat.kif 8608-8608
s__termFormat(s__ar__m,s__refers__m,'«يَتَضَمَّن إِشَارَة إِلَى»')

arabic_format.kif 532-532

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13847-13858
( ! [V__X,V__OBJ] :
   ((s__instance(V__X,s__DutyTax) &
       s__refers(V__X,V__OBJ)
     &
     s__patient(V__X,V__OBJ))
=>
(? [V__T,V__N1,V__N2] :
   (s__instance(V__T,s__Transfer) &
     s__patient(V__T,V__OBJ)
   &
   s__origin(V__T,V__N1)
&
s__destination(V__T,V__N2)
&
s__instance(V__N1,s__Nation) &
s__instance(V__N2,s__Nation) &
(~ (V__N1 = V__N2))
&
s__earlier(s__WhenFn(V__T)
,s__WhenFn(V__X))
&
s__causes(V__T,V__X))))
)

FinancialOntology.kif 894-909
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4350-4355

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


( ! [V__SPORT] :
   (s__ClassOnSportFn(V__SPORT)
   =>
   (? [V__PERSON1,V__PERSON2,V__CLASS] :
     (s__hasSkill(V__SPORT,V__PERSON1)
     &
     (~ s__hasSkill(V__SPORT,V__PERSON2))
   &
   s__instance(V__CLASS,s__LearningClass) &
   s__refers(V__CLASS,V__SPORT))))
)

Offers.kif 74-81
No TPTP formula. May not be expressible in strict first order. Law.kif 334-345
( ! [V__AJT,V__A] :
   ((s__instance(V__AJT,s__AppraisalAsJustTreatment) &
       s__agent(V__AJT,V__A))
   =>
   (? [V__P,V__A2] :
     (s__instance(V__P,s__Process) &
       s__refers(V__AJT,V__P)
     &
     s__agent(V__P,V__A2)
   &
   (~ (V__A = V__A2))
   &
   s__patient(V__P,V__A)
&
s__wants(V__A,V__P))))
)

emotion.kif 371-383
( ! [V__AS,V__P] :
   ((s__instance(V__AS,s__ArtSchool) &
       s__instance(V__P,s__EducationalProcess) &
       s__eventLocated(V__P,V__AS))
   =>
   (? [V__M,V__ART] :
     (s__instance(V__M,s__Making) &
       s__patient(V__M,V__ART)
     &
     s__instance(V__ART,s__ArtWork) &
     s__refers(V__P,V__M))))
)

Mid-level-ontology.kif 14364-14374
( ! [V__COMMENTING,V__PROCESS] :
   ((s__instance(V__COMMENTING,s__Commenting) &
       s__instance(V__PROCESS,s__Process) &
       s__patient(V__COMMENTING,V__PROCESS))
   =>
   (? [V__AGENT,V__SPEAKING,V__LOOKING] :
     (s__instance(V__AGENT,s__Agent) &
       s__instance(V__SPEAKING,s__Speaking) &
       s__instance(V__LOOKING,s__Looking) &
       s__agent(V__SPEAKING,V__AGENT)
     &
     s__agent(V__LOOKING,V__AGENT)
   &
   s__patient(V__LOOKING,V__PROCESS)
&
s__refers(V__SPEAKING,V__PROCESS))))
)

Mid-level-ontology.kif 13543-13556
( ! [V__Directory,V__File] :
   ((s__instance(V__Directory,s__ComputerDirectory) &
       s__instance(V__File,s__ComputerFile) &
       s__directoryOf(V__File,V__Directory))
   =>
   s__refers(s__AddressFn(V__File)
,V__Directory))
)

QoSontology.kif 226-231
( ! [V__FACILITY,V__RESEARCH] :
   ((s__instance(V__FACILITY,s__NuclearWeaponResearchFacility) &
       s__instance(V__RESEARCH,s__ResearchingWeaponOfMassDestruction) &
       s__eventLocated(V__RESEARCH,V__FACILITY))
   =>
   s__refers(V__RESEARCH,s__NuclearWeapon))
)

WMD.kif 661-666
( ! [V__P] :
   ((s__instance(V__P,s__Human) &
       s__attribute(V__P,s__Criminal))
     =>
     (? [V__CA,V__LC] :
       (s__instance(V__CA,s__CriminalAction) &
         s__instance(V__LC,s__LegalConviction) &
         s__refers(V__LC,V__CA)
       &
       s__patient(V__LC,V__P))))
)

Justice.kif 85-94
( ! [V__PAGE,V__ADVERTISING,V__ITEM] :
   ((s__instance(V__PAGE,s__ViewItemPage) &
       s__instance(V__ADVERTISING,s__WebListing) &
       s__component(V__ADVERTISING,V__PAGE)
     &
     s__patient(V__ADVERTISING,V__ITEM)
   &
   s__instance(V__ITEM,s__Physical))
=>
(? [V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
   (s__instance(V__STATING,s__Stating) &
     s__patient(V__STATING,V__DESCRIPTION)
   &
   s__refers(V__DESCRIPTION,V__ITEM)
&
s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
&
s__part(V__DESCRIPTIONCONTENT,V__PAGE))))
)

UXExperimentalTerms.kif 2284-2297
( ! [V__PROC,V__DOC,V__AG] :
   ((s__instance(V__PROC,s__IntentionalProcess) &
       s__result(V__PROC,V__DOC)
     &
     s__recordForAgreement(V__DOC,V__AG)
   &
   s__attribute(V__AG,s__Legal))
=>
(? [V__O,V__A,V__A1,V__A2] :
   (s__instance(V__O,s__Offering) &
     s__instance(V__A,s__ReachingAgreement) &
     s__refers(V__O,V__AG)
   &
   s__refers(V__A,V__AG)
&
s__agent(V__O,V__A1)
&
s__agent(V__A,V__A2)
&
s__earlier(s__WhenFn(V__O)
,s__WhenFn(V__A)))))
)

Law.kif 570-584
( ! [V__UPDATE_EVENT,V__WRITER,V__CONTENT] :
   ((s__instance(V__UPDATE_EVENT,s__StatusUpdate) &
       s__agent(V__UPDATE_EVENT,V__WRITER)
     &
     s__result(V__UPDATE_EVENT,V__CONTENT))
=>
s__refers(V__CONTENT,V__WRITER))
)

Facebook.kif 238-243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18779-18808
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28139
( ! [V__O,V__C,V__I] :
   ((s__inventory(V__O,V__C)
     &
     s__member(V__I,V__C))
=>
s__refers(V__O,V__I))
)

Mid-level-ontology.kif 20563-20567
No TPTP formula. May not be expressible in strict first order. Law.kif 357-367
( ! [V__A,V__AJT] :
   (s__attribute(V__A,s__AppraisalAsUnjustTreatment) =>
     (? [V__P,V__A2] :
       (s__instance(V__P,s__Process) &
         s__refers(V__AJT,V__P)
       &
       s__agent(V__P,V__A2)
     &
     (~ (V__A = V__A2))
     &
     s__patient(V__P,V__A)
   &
   (~ s__wants(V__A,V__P)))))
)

emotion.kif 349-360
( ! [V__COACH] :
   (s__attribute(V__COACH,s__Coach) =>
     (? [V__ATHLETE,V__GAME,V__EDUCATION] :
       (s__instance(V__ATHLETE,s__Human) &
         s__instance(V__GAME,s__Game) &
         s__instance(V__EDUCATION,s__EducationalProcess) &
         s__agent(V__EDUCATION,V__COACH)
       &
       s__patient(V__EDUCATION,V__ATHLETE)
     &
     s__refers(V__EDUCATION,V__GAME))))
)

Sports.kif 410-419
( ! [V__H] :
   (s__attribute(V__H,s__ArtCritic) =>
     (? [V__T,V__AW] :
       (s__instance(V__AW,s__ArtWork) &
         s__authors(V__H,V__T)
       &
       s__refers(V__T,V__AW))))
)

Mid-level-ontology.kif 18698-18704
( ! [V__H] :
   (s__attribute(V__H,s__NewsReporter) =>
     (? [V__T,V__EV] :
       (s__instance(V__EV,s__Process) &
         s__overlapsTemporally(s__WhenFn(V__EV)
      ,s__WhenFn(V__H))
   &
   s__authors(V__H,V__T)
&
s__refers(V__T,V__EV))))
)

Mid-level-ontology.kif 18683-18692
( ! [V__X] :
   (s__attribute(V__X,s__Historical) =>
     s__refers(s__History,V__X))
)

Mid-level-ontology.kif 24616-24618
( ! [V__COACH,V__PLAYER] :
   (s__coaches(V__COACH,V__PLAYER)
   =>
   (s__attribute(V__COACH,s__Coach) &
     (? [V__GAME,V__EDUCATION] :
       (s__instance(V__GAME,s__Game) &
         s__instance(V__EDUCATION,s__EducationalProcess) &
         s__agent(V__EDUCATION,V__COACH)
       &
       s__patient(V__EDUCATION,V__PLAYER)
     &
     s__refers(V__EDUCATION,V__GAME)))))
)

Sports.kif 427-437
( ! [V__Time,V__Component,V__Instance,V__Unit,V__Number] :
   (s__componentDataID(V__Time,V__Component,V__Instance,V__Unit,V__Number)
   =>
   s__refers(V__Number,V__Instance))
)

QoSontology.kif 888-890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13800-13807
( ! [V__LA,V__P,V__PROP] :
   (s__evidence(V__LA,V__P)
   =>
   (? [V__A] :
     (s__instance(V__PROP,s__Proposition) &
       s__instance(V__A,s__Argument) &
       s__refers(V__A,V__LA)
     &
     s__represents(V__PROP,V__P)
   &
   s__premise(V__A,V__PROP))))
)

Law.kif 222-230
( ! [V__CBP,V__EXP] :
   (s__experimentUpdate(V__CBP,V__EXP)
   =>
   s__refers(V__CBP,V__EXP))
)

UXExperimentalTerms.kif 2887-2889

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