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 2903-2905
(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 2898-2902
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2896-2896 The number 1 argument of in scope of interest is an instance of cognitive agent
(domain inScopeOfInterest 2 Entity) Merge.kif 2897-2897 The number 2 argument of in scope of interest is an instance of entity
(instance inScopeOfInterest BinaryPredicate) Merge.kif 2894-2894 in scope of interest is an instance of binary predicate
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2895-2895 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 93-93
(format FrenchLanguage inScopeOfInterest "%1 est %n interess� par %2") french_format.kif 88-88
(format ItalianLanguage inScopeOfInterest "%1 � %n interessato a %2") relations-it.txt 148-148
(format PortugueseLanguage inScopeOfInterest "%1 esta' %n interessado em %2") portuguese_format.kif 40-40
(format ar inScopeOfInterest "%1 هو %n مُهْتَم بـ %2") arabic_format.kif 38-38
(format cz inScopeOfInterest "%1 %p{je} %n{nen�} interested in %2") relations-cz.txt 94-94
(format de inScopeOfInterest "%1 ist an %2 interessiert %n{nicht}") relations-de.txt 160-160
(format hi inScopeOfInterest "%2 men %1 kii ruchi %n hai") relations-hindi.txt 187-187
(format tg inScopeOfInterest "%1 %n ay mawili sa %2") relations-tg.txt 300-300
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 25037-25037 approves is a subrelation of in scope of interest
(subrelation believes inScopeOfInterest) Merge.kif 2989-2989 believes is a subrelation of in scope of interest
(subrelation connectedInSocialNetwork inScopeOfInterest) Facebook.kif 42-42 connected in social network is a subrelation of in scope of interest
(subrelation considers inScopeOfInterest) Merge.kif 2978-2978 considers is a subrelation of in scope of interest
(subrelation desires inScopeOfInterest) Merge.kif 2963-2963 desires is a subrelation of in scope of interest
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7141-7141 disapproves is a subrelation of in scope of interest
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7125-7125 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 7032-7032 enjoys is a subrelation of in scope of interest
(subrelation expectedDegree inScopeOfInterest) LinkedInDegrees.kif 62-62 expected degree is a subrelation of in scope of interest
(subrelation expectedYearOfGraduation inScopeOfInterest) LinkedInDegrees.kif 444-444 expectedYearOfGraduation is a subrelation of in scope of interest
(subrelation knows inScopeOfInterest) Merge.kif 3005-3005 knows is a subrelation of in scope of interest
(subrelation needs inScopeOfInterest) Merge.kif 2925-2925 needs is a subrelation of in scope of interest
(subrelation wants inScopeOfInterest) Merge.kif 2939-2939 wants is a subrelation of in scope of interest

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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

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 2907-2913
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2846-2851
(=>
    (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 24090-24097
(=>
    (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 24521-24527
(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))
Mid-level-ontology.kif 25117-25123
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))
Dining.kif 767-774