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 更概括,因为大概可以说,只有当一样东西在引用另一样东西时 才能描述这件东西。例如:一篇主题为油价最近的变化的文章可以提到许多其它的东西,如:总体经济状况、 加利福尼亚的天气、全球变暖的前景、替代能源的选择和各家石油公司股票的价格,等等。"')

chinese_format.kif 2154-2157
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 4264-4272
s__domain(s__refers__m,n__1,s__Entity)

Merge.kif 4261-4261 The number 1 argument of refers is an instance of entity
s__domain(s__refers__m,n__2,s__Entity)

Merge.kif 4262-4262 The number 2 argument of refers is an instance of entity
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__refers__m,s__BinaryPredicate)

Merge.kif 4260-4260 refers is an instance of binary predicate

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 229-229
s__subrelation(s__deceptiveIdentifier__m,s__refers__m)

Mid-level-ontology.kif 21518-21518 deceptive identifier is a subrelation of refers
s__subrelation(s__emailAddress__m,s__refers__m)

Mid-level-ontology.kif 2938-2938 email address is a subrelation of refers
s__subrelation(s__names__m,s__refers__m)

Merge.kif 4274-4274 names is a subrelation of refers
s__subrelation(s__phoneNumber__m,s__refers__m)

FinancialOntology.kif 3620-3620 phone number is a subrelation of refers
s__subrelation(s__registeredItem__m,s__refers__m)

Mid-level-ontology.kif 14855-14855 registered item is a subrelation of refers
s__subrelation(s__represents__m,s__refers__m)

Merge.kif 4294-4294 represents is a subrelation of refers
s__termFormat(s__ChineseLanguage,s__refers__m,'"参照"')

domainEnglishFormat.kif 49088-49088
s__termFormat(s__ChineseLanguage,s__refers__m,'"提到"')

chinese_format.kif 226-226
s__termFormat(s__ChineseTraditionalLanguage,s__refers__m,'"參照"')

domainEnglishFormat.kif 49087-49087
s__termFormat(s__EnglishLanguage,s__refers__m,'"refers"')

domainEnglishFormat.kif 49086-49086

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14501-14513
( ! [V__P,V__PROG,V__FQ] :
   (((s__instance(V__P,s__ComputerProcess) &
         s__instance(V__PROG,s__ComputerProgram))
       =>
       (((s__instance(V__FQ,s__ForceQuit) &
             s__refers(V__FQ,V__P)
           &
           s__programRunning(V__P,V__PROG))
       =>
       (( ? [V__A] :
           ((s__instance(V__A,s__Abort) &
               s__processAborted(V__A,V__P))))))))
)
)

ComputingBrands.kif 3001-3009
( ! [V__OBJ,V__X] :
   (((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 903-918
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4359-4364

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


( ! [V__AJT,V__A] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsJustTreatment) &
             s__instance(V__AJT,s__AppraisalProcess) &
             s__agent(V__AJT,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (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 374-387
( ! [V__A,V__AUJ] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsUnjustTreatment) &
             s__instance(V__AUJ,s__AppraisalProcess) &
             s__agent(V__AUJ,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AUJ,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-363
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__AMT,s__CurrencyMeasure) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__ITEM,s__Object) &
         s__instance(V__ITEM,s__Class) &
         s__instance(V__X,s__Object))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__corkageFee(V__AMT,V__ITEM,V__AGENT)
         &
         s__instance(V__X,V__ITEM)
       &
       ~(( ? [V__B] :
           ((s__instance(V__B,s__Buying) &
               s__patient(V__B,V__X)
             &
             s__destination(V__B,V__CUST)
           &
           s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
(( ? [V__C] :
((s__instance(V__C,s__Corkage) &
   s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))))))
)
)

Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
( ! [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 15012-15022
( ! [V__PROCESS,V__COMMENTING] :
   (((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 14192-14205
( ! [V__File,V__Directory] :
   (((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 229-234
( ! [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 87-96
( ! [V__PAGE,V__ITEM,V__ADVERTISING] :
   (((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__DESCRIPTION,s__Process) &
           s__instance(V__DESCRIPTIONCONTENT,s__Object) &
           (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 2287-2300
( ! [V__DOC,V__AG,V__PROC] :
   (((s__instance(V__DOC,s__ContentBearingPhysical) &
         s__instance(V__AG,s__Agreement) &
         s__instance(V__AG,s__Object))
       =>
       (((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__A1,s__Agent) &
               s__instance(V__A2,s__Agent) &
               (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 574-588
( ! [V__W,V__PERSON] :
   ((s__instance(V__PERSON,s__Agent) =>
       (((s__instance(V__W,s__SickLeave) &
             s__agent(V__W,V__PERSON))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__DiseaseOrSyndrome) &
                 s__refers(V__W,V__S))))))))
)
)

Mid-level-ontology.kif 18568-18575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19233-19262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28170-28199
( ! [V__O,V__C,V__I] :
   (((s__instance(V__O,s__ContentBearingObject) &
         s__instance(V__C,s__Collection) &
         s__instance(V__I,s__Physical))
       =>
       (((s__inventory(V__O,V__C)
           &
           s__member(V__I,V__C))
       =>
       (s__refers(V__O,V__I)))))
)
)

Mid-level-ontology.kif 20914-20918
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
( ! [V__COACH] :
   ((s__instance(V__COACH,s__Agent) =>
       ((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__instance(V__H,s__Agent) =>
       ((s__attribute(V__H,s__ArtCritic) =>
           (( ? [V__T, V__AW] :
               ((s__subclass(V__T,s__ContentBearingObject) &
                   (s__instance(V__AW,s__ArtWork) &
                     s__authors(V__H,V__T)
                   &
                   s__refers(V__T,V__AW)))))))))
)
)

Mid-level-ontology.kif 19181-19187
( ! [V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((s__attribute(V__H,s__NewsReporter) =>
           (( ? [V__T, V__EV] :
               ((s__subclass(V__T,s__ContentBearingObject) &
                   (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 19166-19175
( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__Historical) =>
           (s__refers(s__History,V__X)))))
   )
)

Mid-level-ontology.kif 24715-24717
( ! [V__PLAYER,V__COACH] :
   (((s__instance(V__PLAYER,s__Human) &
         s__instance(V__COACH,s__Human))
       =>
       ((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__Unit,V__Component,V__Instance,V__Number] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Unit,s__UnitOfMeasure) &
         s__subclass(V__Component,s__ComputerComponent) &
         s__instance(V__Instance,s__ComputerComponent) &
         s__instance(V__Number,s__SymbolicString))
       =>
       ((s__componentDataID(V__Time,V__Component,V__Instance,V__Unit,V__Number)
         =>
         (s__refers(V__Number,V__Instance)))))
)
)

QoSontology.kif 913-915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14454-14461
( ! [V__P,V__LA,V__PROP] :
   (((s__instance(V__P,s__Physical) &
         s__instance(V__LA,s__LegalAction) &
         s__instance(V__PROP,s__Proposition))
       =>
       ((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 223-231
( ! [V__EXP,V__CBP] :
   (((s__instance(V__EXP,s__Experimenting) &
         s__instance(V__CBP,s__ContentBearingPhysical))
       =>
       ((s__experimentUpdate(V__CBP,V__EXP)
         =>
         (s__refers(V__CBP,V__EXP)))))
)
)

UXExperimentalTerms.kif 2890-2892

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 3.0 is open source software produced by Articulate Software and its partners