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。") chinese_format.kif 1929-1931
(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 2627-2631
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2624-2624 domain inScopeOfInterest, 1 and CognitiveAgent
(domain inScopeOfInterest 2 Entity) Merge.kif 2625-2625 domain inScopeOfInterest, 2 and Entity
(instance inScopeOfInterest BinaryPredicate) Merge.kif 2622-2622 instance inScopeOfInterest and BinaryPredicate
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2623-2623 instance inScopeOfInterest and IntentionalRelation

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 134-134
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 25118-25118 subrelation approves and inScopeOfInterest
(subrelation believes inScopeOfInterest) Merge.kif 2710-2710 subrelation believes and inScopeOfInterest
(subrelation considers inScopeOfInterest) Merge.kif 2700-2700 subrelation considers and inScopeOfInterest
(subrelation desires inScopeOfInterest) Merge.kif 2687-2687 subrelation desires and inScopeOfInterest
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7142-7142 subrelation disapproves and inScopeOfInterest
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7126-7126 subrelation dislikes and inScopeOfInterest
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2431-2431 subrelation enemy and inScopeOfInterest
(subrelation enjoys inScopeOfInterest) Mid-level-ontology.kif 7033-7033 subrelation enjoys and inScopeOfInterest
(subrelation knows inScopeOfInterest) Merge.kif 2725-2725 subrelation knows and inScopeOfInterest
(subrelation needs inScopeOfInterest) Merge.kif 2651-2651 subrelation needs and inScopeOfInterest
(subrelation wants inScopeOfInterest) Merge.kif 2664-2664 subrelation wants and inScopeOfInterest
(termFormat ChineseLanguage inScopeOfInterest "在感兴趣的范围内") domainEnglishFormat.kif 30121-30121 termFormat ChineseLanguage, inScopeOfInterest and "在感兴趣的范围内"
(termFormat ChineseLanguage inScopeOfInterest "感兴趣") chinese_format.kif 134-134 termFormat ChineseLanguage, inScopeOfInterest and "感兴趣"
(termFormat ChineseTraditionalLanguage inScopeOfInterest "在感興趣的範圍內") domainEnglishFormat.kif 30120-30120 termFormat ChineseTraditionalLanguage, inScopeOfInterest and "在感興趣的範圍內"
(termFormat EnglishLanguage inScopeOfInterest "in scope of interest") domainEnglishFormat.kif 30119-30119 termFormat EnglishLanguage, inScopeOfInterest and "in scope of interest"

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


(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?P ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))		 Mid-level-ontology.kif 16042-16056
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))		 Merge.kif 2641-2647

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


(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))		 UXExperimentalTerms.kif 2864-2868
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))		 Government.kif 2312-2318
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))		 Hotel.kif 1221-1229
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))		 Merge.kif 2633-2639
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))		 Merge.kif 2578-2583
(=>
    (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 625-641
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?AGENT Agent)
        (instance ?OBJ Object)
        (agent ?WATCH ?AGENT)
        (patient ?WATCH ?OBJ))
    (inScopeOfInterest ?AGENT ?OBJ))		 UXExperimentalTerms.kif 1800-1807
(=>
    (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 2777-2782
(=>
    (equal ?DEP
        (DepartmentOfFn ?COMP ?PHYS))
    (exists (?P)
        (and
            (agent ?P ?DEP)
            (instance ?I ?PHYS)
            (inScopeOfInterest ?P ?I))))		 Mid-level-ontology.kif 16034-16040
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (forall (?MEMBER)
                (=>
                    (and
                        (instance ?MEMBER Human)
                        (member ?MEMBER ?TEAM))
                    (inScopeOfInterest ?MEMBER ?INTEREST))))))		 UXExperimentalTerms.kif 2823-2833
(=>
    (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 2835-2847
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?AGENT)
            (and
                (instance ?AGENT Agent)
                (forall (?DATA)
                    (and
                        (inScopeOfInterest ?DATA ?AGENT)
                        (component ?DATA ?WAREHOUSE)))))))		 UXExperimentalTerms.kif 2419-2428
(=>
    (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 763-770