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 2634-2638
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2631-2631 The number 1 argument of in scope of interest is an instance of cognitive agent
(domain inScopeOfInterest 2 Entity) Merge.kif 2632-2632 The number 2 argument of in scope of interest is an instance of entity
(instance inScopeOfInterest BinaryPredicate) Merge.kif 2629-2629 in scope of interest is an instance of binary predicate
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2630-2630 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 134-134
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 25612-25612 approves is a subrelation of in scope of interest
(subrelation believes inScopeOfInterest) Merge.kif 2717-2717 believes is a subrelation of in scope of interest
(subrelation considers inScopeOfInterest) Merge.kif 2707-2707 considers is a subrelation of in scope of interest
(subrelation desires inScopeOfInterest) Merge.kif 2694-2694 desires is a subrelation of in scope of interest
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7002-7002 disapproves is a subrelation of in scope of interest
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 6986-6986 dislikes is a subrelation of in scope of interest
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2431-2431 enemy is a subrelation of in scope of interest
(subrelation enjoys inScopeOfInterest) Mid-level-ontology.kif 6915-6915 enjoys is a subrelation of in scope of interest
(subrelation knows inScopeOfInterest) Merge.kif 2732-2732 knows is a subrelation of in scope of interest
(subrelation needs inScopeOfInterest) Merge.kif 2658-2658 needs is a subrelation of in scope of interest
(subrelation wants inScopeOfInterest) Merge.kif 2671-2671 wants is a subrelation of in scope of interest
(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 17061-17075
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))
Merge.kif 2648-2654

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 2352-2358
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))
Hotel.kif 1235-1243
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 2640-2646
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2585-2590
(=>
    (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 Agent)
        (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 24870-24877
(=>
    (businessUnit ?BU ?ORG)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (inScopeOfInterest ?BU ?INTEREST))))
UXExperimentalTerms.kif 2782-2787
(=>
    (equal ?DEP
        (DepartmentOfFn ?COMP ?PHYS))
    (exists (?P)
        (and
            (agent ?P ?DEP)
            (instance ?I ?PHYS)
            (inScopeOfInterest ?P ?I))))
Mid-level-ontology.kif 17053-17059
(=>
    (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 Agent)
                (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 25179-25185
(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))
Mid-level-ontology.kif 25692-25698
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))
Dining.kif 763-770