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
-------------------------


(documentation inScopeOfInterest ChineseLanguage "这是一个十分笼统的 Predicate, (inScopeOfInterest ?AGENT ?ENTITY) 的意思是 ?ENTITY 在 ?AGENT 的留意范围之内。注:这注意可以是 正面或负面的,也就是说 ?AGENT 可以是有意图要避开或是推荐 ?ENTITY。") Merge.kif 4409-4411
(documentation inScopeOfInterest 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 4403-4407
(documentation inScopeOfInterest JapaneseLanguage "非常に一般的な Predicate。 (inScopeOfInterest ?AGENT ?ENTITY) とは、?ENTITY が ?AGENT の関心の範囲内であることを意味 する。注:示される関心は、正または負のどちらか、すなわち ?AGENT は ?ENTITY を回避または促進する ことに関心を持つことができる。") Merge.kif 4413-4416
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 4400-4400 The number 1 argument of in scope of interest is an instance of cognitive agent
(domain inScopeOfInterest 2 Entity) Merge.kif 4401-4401 The number 2 argument of in scope of interest is an instance of entity
(instance inScopeOfInterest BinaryPredicate) Merge.kif 4398-4398 in scope of interest is an instance of binary predicate
(instance inScopeOfInterest IntentionalRelation) Merge.kif 4399-4399 in scope of interest is an instance of intentional relation

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


(format ChineseLanguage inScopeOfInterest "%1 %n 对 %2 感兴趣") chinese_format.kif 133-133
(format EnglishLanguage inScopeOfInterest "%1 is %n interested in %2") english_format.kif 174-174
(format JapaneseLanguage inScopeOfInterest "%1 は %2 に interested が %n") english_format.kif 175-175
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 25118-25118 approves is a subrelation of in scope of interest
(subrelation believes inScopeOfInterest) Merge.kif 4524-4524 believes is a subrelation of in scope of interest
(subrelation considers inScopeOfInterest) Merge.kif 4508-4508 considers is a subrelation of in scope of interest
(subrelation desires inScopeOfInterest) Merge.kif 4485-4485 desires is a subrelation of in scope of interest
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7142-7142 disapproves is a subrelation of in scope of interest
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7126-7126 dislikes is a subrelation of in scope of interest
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2418-2418 enemy is a subrelation of in scope of interest
(subrelation enjoys inScopeOfInterest) Mid-level-ontology.kif 7033-7033 enjoys is a subrelation of in scope of interest
(subrelation knows inScopeOfInterest) Merge.kif 4546-4546 knows is a subrelation of in scope of interest
(subrelation needs inScopeOfInterest) Merge.kif 4436-4436 needs is a subrelation of in scope of interest
(subrelation wants inScopeOfInterest) Merge.kif 4455-4455 wants is a subrelation of in scope of interest
(termFormat ChineseLanguage inScopeOfInterest "在感兴趣的范围内") domainEnglishFormat.kif 30121-30121 "在感兴趣的范围内" is the printable form of in scope of interest in ChineseLanguage
(termFormat ChineseLanguage inScopeOfInterest "感兴趣") chinese_format.kif 134-134 "感兴趣" is the printable form of in scope of interest in ChineseLanguage
(termFormat ChineseTraditionalLanguage inScopeOfInterest "在感興趣的範圍內") domainEnglishFormat.kif 30120-30120 "在感興趣的範圍內" is the printable form of in scope of interest in ChineseTraditionalLanguage
(termFormat EnglishLanguage inScopeOfInterest "in scope of interest") domainEnglishFormat.kif 30119-30119 "in scope of interest" is the printable form of in scope of interest in english language

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


(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))
Merge.kif 4426-4432

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


(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2866-2870
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))
Government.kif 2318-2324
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))
Hotel.kif 1217-1225
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 4418-4424
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 4334-4339
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT CognitiveAgent)
        (agent ?EXPERIMENT ?AGENT)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (forall (?ATTRIBUTE)
        (=>
            (and
                (instance ?ATTRIBUTE Attribute)
                (property ?SAMPLE_COLL ?ATTRIBUTE)
                (inScopeOfInterest ?AGENT ?ATTRIBUTE)
                (not
                    (equal ?ATTRIBUTE RepresentativeSample)))
            (property ?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 627-643
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?AGENT Agent)
        (instance ?OBJ Object)
        (agent ?WATCH ?AGENT)
        (patient ?WATCH ?OBJ))
    (inScopeOfInterest ?AGENT ?ITEM))
UXExperimentalTerms.kif 1802-1809
(=>
    (attribute ?X HandicappedFriendly)
    (exists (?ATTR ?PERSON)
        (and
            (instance ?ATTR Disability)
            (instance ?PERSON Human)
            (attribute ?PERSON ?ATTR)
            (inScopeOfInterest ?PERSON ?X))))
Mid-level-ontology.kif 24171-24178
(=>
    (businessUnit ?BU ?ORG)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (inScopeOfInterest ?BU ?INTEREST))))
UXExperimentalTerms.kif 2779-2784
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (forall (?MEMBER)
                (=>
                    (and
                        (instance ?MEMBER Human)
                        (member ?MEMBER ?TEAM))
                    (inScopeOfInterest ?MEMBER ?INTEREST))))))
UXExperimentalTerms.kif 2825-2835
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?SKILL ?MEMBER1 ?MEMBER2)
        (and
            (instance ?SKILL Process)
            (instance ?MEMBER1 Human)
            (instance ?MEMBER2 Human)
            (member ?MEMBER1 ?TEAM)
            (member ?MEMBER2 ?TEAM)
            (hasSkill ?SKILL ?MEMBER1)
            (not
                (hasSkill ?SKILL ?MEMBER2))
            (inScopeOfInterest ?TEAM ?SKILL))))
UXExperimentalTerms.kif 2837-2849
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?AGENT)
            (and
                (instance ?AGENT Agent)
                (forall (?DATA)
                    (and
                        (inScopeOfInterest ?DATA ?AGENT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2421-2430
(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))
Mid-level-ontology.kif 24602-24608
(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))
Mid-level-ontology.kif 25198-25204
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))
Dining.kif 767-774