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 2674-2678
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2671-2671 感兴趣 的 1 数量 是 有认知的主事 的 instance
(domain inScopeOfInterest 2 Entity) Merge.kif 2672-2672 感兴趣 的 2 数量 是 实体 的 instance
(instance inScopeOfInterest BinaryPredicate) Merge.kif 2669-2669 感兴趣 是 二元谓语 的 instance
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2670-2670 感兴趣 是 有意图的关系 的 instance

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 26407-26407 approves 是 感兴趣 的 subrelation
(subrelation believes inScopeOfInterest) Merge.kif 2757-2757 相信 是 感兴趣 的 subrelation
(subrelation considers inScopeOfInterest) Merge.kif 2747-2747 考虑 是 感兴趣 的 subrelation
(subrelation desires inScopeOfInterest) Merge.kif 2734-2734 渴望 是 感兴趣 的 subrelation
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7153-7153 不赞成 是 感兴趣 的 subrelation
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7137-7137 不喜欢 是 感兴趣 的 subrelation
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2450-2450 enemy 是 感兴趣 的 subrelation
(subrelation enjoys inScopeOfInterest) Mid-level-ontology.kif 7065-7065 享受 是 感兴趣 的 subrelation
(subrelation knows inScopeOfInterest) Merge.kif 2772-2772 知道 是 感兴趣 的 subrelation
(subrelation needs inScopeOfInterest) Merge.kif 2698-2698 需要 是 感兴趣 的 subrelation
(subrelation wants inScopeOfInterest) Merge.kif 2711-2711 想要 是 感兴趣 的 subrelation
(termFormat ChineseLanguage inScopeOfInterest "在感兴趣的范围内") domainEnglishFormat.kif 30204-30204
(termFormat ChineseLanguage inScopeOfInterest "感兴趣") chinese_format.kif 134-134
(termFormat ChineseTraditionalLanguage inScopeOfInterest "在感興趣的範圍內") domainEnglishFormat.kif 30203-30203
(termFormat EnglishLanguage inScopeOfInterest "in scope of interest") domainEnglishFormat.kif 30202-30202

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 17808-17822
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))		 Merge.kif 2688-2694

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


(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))		 UXExperimentalTerms.kif 2869-2873
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))		 Government.kif 2368-2374
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))		 Hotel.kif 1270-1278
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))		 Merge.kif 2680-2686
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))		 Merge.kif 2625-2630
(=>
    (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 629-645
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?AGENT AutonomousAgent)
        (instance ?OBJ Object)
        (agent ?WATCH ?AGENT)
        (patient ?WATCH ?OBJ))
    (inScopeOfInterest ?AGENT ?OBJ))		 UXExperimentalTerms.kif 1803-1810
(=>
    (attribute ?X HandicappedFriendly)
    (exists (?ATTR ?PERSON)
        (and
            (instance ?ATTR Disability)
            (instance ?PERSON Human)
            (attribute ?PERSON ?ATTR)
            (inScopeOfInterest ?PERSON ?X))))		 Mid-level-ontology.kif 25666-25673
(=>
    (businessUnit ?BU ?ORG)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (inScopeOfInterest ?BU ?INTEREST))))		 UXExperimentalTerms.kif 2782-2787
(=>
    (equal ?DEP
        (DepartmentOfFn ?COMP ?PHYS))
    (exists (?P ?I)
        (and
            (agent ?P ?DEP)
            (instance ?I ?PHYS)
            (inScopeOfInterest ?P ?I))))		 Mid-level-ontology.kif 17800-17806
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (forall (?MEMBER)
                (=>
                    (and
                        (instance ?MEMBER Human)
                        (member ?MEMBER ?TEAM))
                    (inScopeOfInterest ?MEMBER ?INTEREST))))))		 UXExperimentalTerms.kif 2828-2838
(=>
    (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 2840-2852
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?AGENT)
            (and
                (instance ?AGENT AutonomousAgent)
                (forall (?DATA)
                    (and
                        (inScopeOfInterest ?DATA ?AGENT)
                        (component ?DATA ?WAREHOUSE)))))))		 UXExperimentalTerms.kif 2424-2433
(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))		 Mid-level-ontology.kif 25974-25980
(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))		 Mid-level-ontology.kif 26487-26493
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))		 Dining.kif 763-770