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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inScopeOfInterest
inScopeOfInterest

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


s__documentation(s__inScopeOfInterest__m,s__ChineseLanguage,'"这是一个十分笼统的 Predicate, (inScopeOfInterest ?AGENT ?ENTITY) 的意思是 ?ENTITY 在 ?AGENT 的留意范围之内。注:这注意可以是 正面或负面的,也就是说 ?AGENT 可以是有意图要避开或是推荐 ?ENTITY。"')

chinese_format.kif 1929-1931
s__documentation(s__inScopeOfInterest__m,s__EnglishLanguage,'"A very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY."')

Merge.kif 2667-2671
s__domain(s__inScopeOfInterest__m,n__1,s__CognitiveAgent)

Merge.kif 2664-2664 The number 1 argument of in scope of interest is an instance of cognitive agent
s__domain(s__inScopeOfInterest__m,n__2,s__Entity)

Merge.kif 2665-2665 The number 2 argument of in scope of interest is an instance of entity
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__inScopeOfInterest__m,s__BinaryPredicate)

Merge.kif 2662-2662 in scope of interest is an instance of binary predicate
s__instance(s__IntentionalRelation,s__SetOrClass)

s__instance(s__inScopeOfInterest__m,s__IntentionalRelation)

Merge.kif 2663-2663 in scope of interest is an instance of intentional relation

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


s__format(s__ChineseLanguage,s__inScopeOfInterest__m,'"%1 %n 对 %2 感兴趣"')

chinese_format.kif 133-133
s__format(s__EnglishLanguage,s__inScopeOfInterest__m,'"%1 is %n interested in %2"')

english_format.kif 134-134
s__subrelation(s__approves__m,s__inScopeOfInterest__m)

Mid-level-ontology.kif 25961-25961 approves is a subrelation of in scope of interest
s__subrelation(s__believes__m,s__inScopeOfInterest__m)

Merge.kif 2750-2750 believes is a subrelation of in scope of interest
s__subrelation(s__considers__m,s__inScopeOfInterest__m)

Merge.kif 2740-2740 considers is a subrelation of in scope of interest
s__subrelation(s__desires__m,s__inScopeOfInterest__m)

Merge.kif 2727-2727 desires is a subrelation of in scope of interest
s__subrelation(s__disapproves__m,s__inScopeOfInterest__m)

Mid-level-ontology.kif 7090-7090 disapproves is a subrelation of in scope of interest
s__subrelation(s__dislikes__m,s__inScopeOfInterest__m)

Mid-level-ontology.kif 7074-7074 dislikes is a subrelation of in scope of interest
s__subrelation(s__enemy__m,s__inScopeOfInterest__m)

MilitaryProcesses.kif 2431-2431 enemy is a subrelation of in scope of interest
s__subrelation(s__enjoys__m,s__inScopeOfInterest__m)

Mid-level-ontology.kif 7003-7003 enjoys is a subrelation of in scope of interest
s__subrelation(s__knows__m,s__inScopeOfInterest__m)

Merge.kif 2765-2765 knows is a subrelation of in scope of interest
s__subrelation(s__needs__m,s__inScopeOfInterest__m)

Merge.kif 2691-2691 needs is a subrelation of in scope of interest
s__subrelation(s__wants__m,s__inScopeOfInterest__m)

Merge.kif 2704-2704 wants is a subrelation of in scope of interest
s__termFormat(s__ChineseLanguage,s__inScopeOfInterest__m,'"在感兴趣的范围内"')

domainEnglishFormat.kif 30204-30204
s__termFormat(s__ChineseLanguage,s__inScopeOfInterest__m,'"感兴趣"')

chinese_format.kif 134-134
s__termFormat(s__ChineseTraditionalLanguage,s__inScopeOfInterest__m,'"在感興趣的範圍內"')

domainEnglishFormat.kif 30203-30203
s__termFormat(s__EnglishLanguage,s__inScopeOfInterest__m,'"in scope of interest"')

domainEnglishFormat.kif 30202-30202

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17409-17423
( ! [V__AGENT,V__OBJECT] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       ((s__inScopeOfInterest(V__AGENT,V__OBJECT)
         =>
         (( ? [V__PROCESS] :
             ((s__instance(V__PROCESS,s__IntentionalProcess) &
                 s__agent(V__PROCESS,V__AGENT)
               &
               s__patient(V__PROCESS,V__OBJECT))))))))
)
)

Merge.kif 2681-2687

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


( ! [V__TEAM,V__MEMBER,V__FOCUS] :
   (((s__instance(V__TEAM,s__CrossFunctionalTeam) &
         s__instance(V__MEMBER,s__CognitiveAgent))
       =>
       (((s__crossFunctionalTeamFocus(V__FOCUS,V__TEAM)
           &
           s__member(V__MEMBER,V__TEAM))
       =>
       (s__inScopeOfInterest(V__MEMBER,V__FOCUS)))))
)
)

UXExperimentalTerms.kif 2869-2873
( ! [V__GROUP,V__ORG,V__AIM] :
   ((s__instance(V__AIM,s__AreaOfConcern) =>
       (((s__instance(V__GROUP,s__PoliticalPressureGroup) &
             s__organizationalObjective(V__GROUP,V__AIM)
           &
           s__instance(V__ORG,s__GovernmentOrganization) &
           s__organizationalObjective(V__ORG,V__AIM))
       =>
       (s__inScopeOfInterest(V__GROUP,V__ORG)))))
)
)

Government.kif 2357-2363
( ! [V__CRIB,V__BABY,V__GRP,V__ADULT] :
   (((s__instance(V__GRP,s__GroupOfPeople) &
         s__member(V__ADULT,V__GRP)
       &
       s__member(V__BABY,V__GRP)
     &
     s__instance(V__BABY,s__HumanBaby) &
     s__instance(V__ADULT,s__HumanAdult) &
     s__instance(V__CRIB,s__Crib))
   =>
   (s__inScopeOfInterest(V__ADULT,V__CRIB)))
)
)

Hotel.kif 1248-1256
( ! [V__AGENT,V__PROCESS,V__OBJECT] :
   (((s__instance(V__PROCESS,s__IntentionalProcess) &
         s__agent(V__PROCESS,V__AGENT)
       &
       s__instance(V__AGENT,s__CognitiveAgent) &
       s__patient(V__PROCESS,V__OBJECT))
   =>
   (s__inScopeOfInterest(V__AGENT,V__OBJECT)))
)
)

Merge.kif 2673-2679
( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Agent))
       =>
       (((s__instance(s__enemy__m,s__IntentionalRelation) &
             s__enemy(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       (((s__instance(s__approves__m,s__IntentionalRelation) &
             s__approves(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       (((s__instance(s__domesticPartner__m,s__IntentionalRelation) &
             s__domesticPartner(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW3,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW3,s__Formula) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__prefers__m,s__IntentionalRelation) &
             s__prefers(V__AGENT,V__ROW2,V__ROW3)
           &
           s__inList(V__OBJ,s__ListFn__2Fn(V__ROW2,V__ROW3)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       (((s__instance(s__inScopeOfInterest__m,s__IntentionalRelation) &
             s__inScopeOfInterest(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__considers__m,s__IntentionalRelation) &
             s__considers(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       (((s__instance(s__needs__m,s__IntentionalRelation) &
             s__needs(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__knows__m,s__IntentionalRelation) &
             s__knows(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__subclass(V__ROW2,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__IntentionalRelation) &
             s__enjoys(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Object))
       =>
       (((s__instance(s__dislikes__m,s__IntentionalRelation) &
             s__dislikes(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__ServiceProcess) &
         s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       (((s__instance(s__serviceRecipient__m,s__IntentionalRelation) &
             s__serviceRecipient(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       (((s__instance(s__cohabitant__m,s__IntentionalRelation) &
             s__cohabitant(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__doubts__m,s__IntentionalRelation) &
             s__doubts(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   ((s__instance(V__AGENT,s__CognitiveAgent) =>
       (((s__instance(s__lacks__m,s__IntentionalRelation) &
             s__lacks(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Physical))
       =>
       (((s__instance(s__wants__m,s__IntentionalRelation) &
             s__wants(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__desires__m,s__IntentionalRelation) &
             s__desires(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__ROW2,s__Human))
       =>
       (((s__instance(s__friend__m,s__IntentionalRelation) &
             s__friend(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__believes__m,s__IntentionalRelation) &
             s__believes(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__Formula))
       =>
       (((s__instance(s__disapproves__m,s__IntentionalRelation) &
             s__disapproves(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

( ! [V__AGENT,V__OBJ,V__ROW2] :
   (((s__instance(V__AGENT,s__ServiceProcess) &
         s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__ROW2,s__CognitiveAgent))
       =>
       (((s__instance(s__serviceProvider__m,s__IntentionalRelation) &
             s__serviceProvider(V__AGENT,V__ROW2)
           &
           s__inList(V__OBJ,s__ListFn__1Fn(V__ROW2)))
     =>
     (s__inScopeOfInterest(V__AGENT,V__OBJ)))))
)
)

Merge.kif 2618-2623
( ! [V__AGENT,V__POP_COLL,V__EXPERIMENT,V__SAMPLE_COLL] :
   (((s__instance(V__SAMPLE_COLL,s__Collection) &
         s__instance(V__POP_COLL,s__Collection) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__CognitiveAgent) &
         s__agent(V__EXPERIMENT,V__AGENT)
       &
       s__statisticalPopulation(V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT))
   =>
   (( ! [V__ATTRIBUTE] :
       (((s__instance(V__ATTRIBUTE,s__Attribute) &
             s__property(V__SAMPLE_COLL,V__ATTRIBUTE)
           &
           s__inScopeOfInterest(V__AGENT,V__ATTRIBUTE)
         &
         ~((V__ATTRIBUTE = s__RepresentativeSample)))
         =>
         (s__property(V__POP_COLL,V__ATTRIBUTE)))))))
)
)

UXExperimentalTerms.kif 629-645
( ! [V__AGENT,V__OBJ,V__WATCH] :
   (((s__instance(V__WATCH,s__WatchItem) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJ,s__Object) &
         s__agent(V__WATCH,V__AGENT)
       &
       s__patient(V__WATCH,V__OBJ))
   =>
   (s__inScopeOfInterest(V__AGENT,V__OBJ)))
)
)

UXExperimentalTerms.kif 1803-1810
( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__HandicappedFriendly) =>
           (( ? [V__ATTR, V__PERSON] :
               ((s__instance(V__ATTR,s__Disability) &
                   s__instance(V__PERSON,s__Human) &
                   s__attribute(V__PERSON,V__ATTR)
                 &
                 s__inScopeOfInterest(V__PERSON,V__X))))))))
)
)

Mid-level-ontology.kif 25219-25226
( ! [V__BU,V__ORG] :
   (((s__instance(V__BU,s__Organization) &
         s__instance(V__BU,s__CognitiveAgent) &
         s__instance(V__ORG,s__Business))
       =>
       ((s__businessUnit(V__BU,V__ORG)
         =>
         (( ? [V__INTEREST] :
             ((s__instance(V__INTEREST,s__Entity) &
                 s__inScopeOfInterest(V__BU,V__INTEREST))))))))
)
)

UXExperimentalTerms.kif 2782-2787
( ! [V__COMP,V__I,V__PHYS,V__DEP] :
   (((s__instance(V__COMP,s__Organization) &
         s__subclass(V__PHYS,s__Physical) &
         s__instance(V__PHYS,s__Class) &
         s__instance(V__DEP,s__Organization))
       =>
       (((V__DEP = s__DepartmentOfFn(V__COMP,V__PHYS))
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__Process) &
                 s__instance(V__P,s__CognitiveAgent) &
                 (s__agent(V__P,V__DEP)
                 &
                 s__instance(V__I,V__PHYS)
               &
               s__inScopeOfInterest(V__P,V__I)))))))))
)
)

Mid-level-ontology.kif 17401-17407
( ! [V__TEAM] :
   ((s__instance(V__TEAM,s__CrossFunctionalTeam) =>
       (( ? [V__INTEREST] :
           ((s__instance(V__INTEREST,s__Entity) &
               ( ! [V__MEMBER] :
                 (((s__instance(V__MEMBER,s__Human) &
                       s__member(V__MEMBER,V__TEAM))
                   =>
                   (s__inScopeOfInterest(V__MEMBER,V__INTEREST))))))))))
)
)

UXExperimentalTerms.kif 2828-2838
( ! [V__TEAM] :
   ((s__instance(V__TEAM,s__CrossFunctionalTeam) =>
       (( ? [V__SKILL, V__MEMBER1, V__MEMBER2] :
           ((s__instance(V__SKILL,s__Process) &
               s__instance(V__MEMBER1,s__Human) &
               s__instance(V__MEMBER2,s__Human) &
               s__member(V__MEMBER1,V__TEAM)
             &
             s__member(V__MEMBER2,V__TEAM)
           &
           s__hasSkill(V__SKILL,V__MEMBER1)
         &
         ~(s__hasSkill(V__SKILL,V__MEMBER2))
       &
       s__inScopeOfInterest(V__TEAM,V__SKILL))))))
)
)

UXExperimentalTerms.kif 2840-2852
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2424-2433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25528-25534
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26041-26047
( ! [V__AGENT,V__CUST] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__CUST,s__CognitiveAgent))
       =>
       ((s__potentialCustomer(V__CUST,V__AGENT)
         =>
         (( ? [V__P, V__SELLING] :
             ((s__instance(V__SELLING,s__Selling) &
                 s__agent(V__SELLING,V__AGENT)
               &
               s__patient(V__SELLING,V__P)
             &
             s__inScopeOfInterest(V__CUST,V__P))))))))
)
)

Dining.kif 763-770