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。')

 Merge.kif 2893-2895
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 2888-2892
s__domain(s__inScopeOfInterest__m,1,s__CognitiveAgent)

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

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

s__instance(s__BinaryPredicate,s__SetOrClass)

 Merge.kif 2884-2884 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 2885-2885 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 93-93
s__format(s__FrenchLanguage,s__inScopeOfInterest__m,'%1 est %n interess� par %2')

 french_format.kif 88-88
s__format(s__ItalianLanguage,s__inScopeOfInterest__m,'%1 � %n interessato a %2')

 relations-it.txt 148-148
s__format(s__PortugueseLanguage,s__inScopeOfInterest__m,'%1 esta %n interessado em %2')

 portuguese_format.kif 40-40
s__format(s__ar__m,s__inScopeOfInterest__m,'%1 هو %n مُهْتَم بـ %2')

 arabic_format.kif 38-38
s__format(s__cz__m,s__inScopeOfInterest__m,'%1 %p{je} %n{nen�} interested in %2')

 relations-cz.txt 94-94
s__format(s__de__m,s__inScopeOfInterest__m,'%1 ist an %2 interessiert %n{nicht}')

 relations-de.txt 160-160
s__format(s__hi__m,s__inScopeOfInterest__m,'%2 men %1 kii ruchi %n hai')

 relations-hindi.txt 187-187
s__format(s__tg__m,s__inScopeOfInterest__m,'%1 %n ay mawili sa %2')

 relations-tg.txt 300-300
s__subrelation(s__approves__m,s__inScopeOfInterest__m)

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

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

 Facebook.kif 42-42 connected in social network is a subrelation of in scope of interest
s__subrelation(s__considers__m,s__inScopeOfInterest__m)

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

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

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

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

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

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

 LinkedInDegrees.kif 62-62 expected degree is a subrelation of in scope of interest
s__subrelation(s__expectedYearOfGraduation__m,s__inScopeOfInterest__m)

 LinkedInDegrees.kif 444-444 expectedYearOfGraduation is a subrelation of in scope of interest
s__subrelation(s__knows__m,s__inScopeOfInterest__m)

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

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

 Merge.kif 2929-2929 wants is a subrelation of in scope of interest
s__termFormat(s__ChineseLanguage,s__inScopeOfInterest__m,'感兴趣')

 chinese_format.kif 134-134 "感兴趣" is the printable form of in scope of interest in ChineseLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT,V__OBJECT] :
   (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 2905-2911

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


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

 UXExperimentalTerms.kif 2867-2871
( ! [V__GROUP,V__AIM,V__ORG] :
   ((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 2318-2324
( ! [V__GRP,V__ADULT,V__BABY,V__CRIB] :
   ((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 1217-1225
( ! [V__PROCESS,V__AGENT,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 2897-2903
( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__needs__m,s__IntentionalRelation) &
       s__needs(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__enemy__m,s__IntentionalRelation) &
       s__enemy(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__disapproves__m,s__IntentionalRelation) &
       s__disapproves(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__dislikes__m,s__IntentionalRelation) &
       s__dislikes(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__facebookFriend__m,s__IntentionalRelation) &
       s__facebookFriend(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__wants__m,s__IntentionalRelation) &
       s__wants(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__cohabitant__m,s__IntentionalRelation) &
       s__cohabitant(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__serviceRecipient__m,s__IntentionalRelation) &
       s__serviceRecipient(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__serviceProvider__m,s__IntentionalRelation) &
       s__serviceProvider(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__desires__m,s__IntentionalRelation) &
       s__desires(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__knows__m,s__IntentionalRelation) &
       s__knows(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__inScopeOfInterest__m,s__IntentionalRelation) &
       s__inScopeOfInterest(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__domesticPartner__m,s__IntentionalRelation) &
       s__domesticPartner(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__doubts__m,s__IntentionalRelation) &
       s__doubts(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__considers__m,s__IntentionalRelation) &
       s__considers(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__follows__m,s__IntentionalRelation) &
       s__follows(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__friend__m,s__IntentionalRelation) &
       s__friend(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__believes__m,s__IntentionalRelation) &
       s__believes(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

( ! [V__AGENT,V__ROW1,V__OBJ] :
   ((s__instance(s__connectedInSocialNetwork__m,s__IntentionalRelation) &
       s__connectedInSocialNetwork(V__AGENT,V__ROW1)
     &
     s__inList(V__OBJ,s__ListFn_1(V__ROW1)))
=>
s__inScopeOfInterest(V__AGENT,V__OBJ))
)

 Merge.kif 2836-2841
( ! [V__SAMPLE_COLL,V__POP_COLL,V__EXPERIMENT,V__AGENT] :
   ((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 628-644
( ! [V__WATCH,V__AGENT,V__OBJ,V__ITEM] :
   ((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__ITEM))
)

 UXExperimentalTerms.kif 1803-1810
( ! [V__X] :
   (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 23729-23736
( ! [V__BU,V__ORG] :
   (s__businessUnit(V__BU,V__ORG)
   =>
   (? [V__INTEREST] :
     (s__instance(V__INTEREST,s__Entity) &
       s__inScopeOfInterest(V__BU,V__INTEREST))))
)

 UXExperimentalTerms.kif 2780-2785
( ! [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 2826-2836
( ! [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 2838-2850
( ! [V__WAREHOUSE] :
   (s__instance(V__WAREHOUSE,s__DataWarehouse) =>
     s__hasPurpose(V__WAREHOUSE,'(? [V__AGENT] : (s__instance(V__AGENT,s__Agent) & (! [V__DATA] : (s__inScopeOfInterest(V__DATA,V__AGENT) & s__component(V__DATA,V__WAREHOUSE)))))'))
)

 UXExperimentalTerms.kif 2422-2431
( ! [V__X] :
   (s__instance(V__X,s__GrabBar) =>
     s__modalAttribute('(? [V__HUMAN] : (s__attribute(V__HUMAN,s__PhysicalDisability) & s__inScopeOfInterest(V__HUMAN,V__X)))',s__Likely))
   )

 Mid-level-ontology.kif 24160-24166
( ! [V__X] :
   (s__instance(V__X,s__SecurityUnit) =>
     s__modalAttribute('(? [V__S] : (s__instance(V__S,s__SurveillanceSystem) & s__inScopeOfInterest(V__X,V__S)))',s__Likely))
   )

 Mid-level-ontology.kif 24756-24762
( ! [V__CUST,V__AGENT] :
   (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 767-774