Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  inScopeOfInterest

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 2638-2642
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2635-2635 The number 1 argument of in scope of interest is an instance of cognitive agent
(domain inScopeOfInterest 2 Entity) Merge.kif 2636-2636 The number 2 argument of in scope of interest is an instance of entity
(instance inScopeOfInterest BinaryPredicate) Merge.kif 2633-2633 in scope of interest is an instance of binary predicate
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2634-2634 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 26263-26263 approves is a subrelation of in scope of interest
(subrelation believes inScopeOfInterest) Merge.kif 2721-2721 believes is a subrelation of in scope of interest
(subrelation considers inScopeOfInterest) Merge.kif 2711-2711 considers is a subrelation of in scope of interest
(subrelation desires inScopeOfInterest) Merge.kif 2698-2698 desires is a subrelation of in scope of interest
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7088-7088 disapproves is a subrelation of in scope of interest
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7072-7072 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 7001-7001 enjoys is a subrelation of in scope of interest
(subrelation knows inScopeOfInterest) Merge.kif 2736-2736 knows is a subrelation of in scope of interest
(subrelation needs inScopeOfInterest) Merge.kif 2662-2662 needs is a subrelation of in scope of interest
(subrelation wants inScopeOfInterest) Merge.kif 2675-2675 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 17701-17715
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))
Merge.kif 2652-2658

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 2357-2363
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))
Hotel.kif 1248-1256
(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))
Merge.kif 2644-2650
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2589-2594
(=>
    (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 25521-25528
(=>
    (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 17693-17699
(=>
    (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 25830-25836
(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))
Mid-level-ontology.kif 26343-26349
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))
Dining.kif 763-770

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners