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 2726-2730
(documentation inScopeOfInterest JapaneseLanguage "非常に一般的な Predicate。 (inScopeOfInterest ?AGENT ?ENTITY) とは、?ENTITY が ?AGENT の関心の範囲内であることを意味 する。注:示される関心は、正または負のどちらか、すなわち ?AGENT は ?ENTITY を回避または促進する ことに関心を持つことができる。") japanese_format.kif 556-559
(domain inScopeOfInterest 1 CognitiveAgent) Merge.kif 2723-2723 在感興趣的範圍內, 1 and CognitiveAgent
(domain inScopeOfInterest 2 Entity) Merge.kif 2724-2724 在感興趣的範圍內, 2 and Entity
(instance inScopeOfInterest BinaryPredicate) Merge.kif 2721-2721 在感興趣的範圍內 and BinaryPredicate
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2722-2722 在感興趣的範圍內 and 有意圖的關係

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
(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 JapaneseLanguage inScopeOfInterest "%1 は %2 に interested が %n") japanese_format.kif 1915-1915
(format PortugueseLanguage inScopeOfInterest "%1 esta' %n interessado em %2") portuguese_format.kif 40-40
(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 ro inScopeOfInterest "%1 %n{nu} este interested%t{interesat} de %2") relations-ro.kif 107-107
(format sv inScopeOfInterest "%1 är %n{inte} intresserad av %2") relations-sv.txt 87-87
(format tg inScopeOfInterest "%1 %n ay mawili sa %2") relations-tg.txt 300-300
(subrelation approves inScopeOfInterest) Mid-level-ontology.kif 26943-26943 子關係 approves and 在感興趣的範圍內
(subrelation believes inScopeOfInterest) Merge.kif 2809-2809 子關係 相信 and 在感興趣的範圍內
(subrelation considers inScopeOfInterest) Merge.kif 2799-2799 子關係 考慮 and 在感興趣的範圍內
(subrelation desires inScopeOfInterest) Merge.kif 2786-2786 子關係 慾望 and 在感興趣的範圍內
(subrelation disapproves inScopeOfInterest) Mid-level-ontology.kif 7438-7438 子關係 不贊成 and 在感興趣的範圍內
(subrelation dislikes inScopeOfInterest) Mid-level-ontology.kif 7422-7422 子關係 不喜歡 and 在感興趣的範圍內
(subrelation enemy inScopeOfInterest) MilitaryProcesses.kif 2451-2451 子關係 enemy and 在感興趣的範圍內
(subrelation enjoys inScopeOfInterest) Mid-level-ontology.kif 7367-7367 子關係 享受 and 在感興趣的範圍內
(subrelation knows inScopeOfInterest) Merge.kif 2824-2824 子關係 知道 and 在感興趣的範圍內
(subrelation needs inScopeOfInterest) Merge.kif 2750-2750 子關係 需求 and 在感興趣的範圍內
(subrelation says inScopeOfInterest) Merge.kif 2844-2844 子關係 says and 在感興趣的範圍內
(subrelation wants inScopeOfInterest) Merge.kif 2763-2763 子關係 想要 and 在感興趣的範圍內

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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

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


(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2659-2663
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))
Government.kif 2371-2377
(=>
    (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 2732-2738
(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2677-2682
(=>
    (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 501-517
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?AGENT AutonomousAgent)
        (instance ?OBJ Object)
        (agent ?WATCH ?AGENT)
        (patient ?WATCH ?OBJ))
    (inScopeOfInterest ?AGENT ?OBJ))
UXExperimentalTerms.kif 1596-1603
(=>
    (attribute ?X HandicappedFriendly)
    (exists (?ATTR ?PERSON)
        (and
            (instance ?ATTR Disability)
            (instance ?PERSON Human)
            (attribute ?PERSON ?ATTR)
            (inScopeOfInterest ?PERSON ?X))))
Mid-level-ontology.kif 26182-26189
(=>
    (businessUnit ?BU ?ORG)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (inScopeOfInterest ?BU ?INTEREST))))
UXExperimentalTerms.kif 2572-2577
(=>
    (equal ?DEP
        (DepartmentOfFn ?COMP ?PHYS))
    (exists (?P ?I)
        (and
            (agent ?P ?DEP)
            (instance ?I ?PHYS)
            (inScopeOfInterest ?DEP ?I))))
Mid-level-ontology.kif 18334-18341
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (forall (?MEMBER)
                (=>
                    (and
                        (instance ?MEMBER Human)
                        (member ?MEMBER ?TEAM))
                    (inScopeOfInterest ?MEMBER ?INTEREST))))))
UXExperimentalTerms.kif 2618-2628
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)
        (and
            (subclass ?SKILL Process)
            (instance ?MEMBER1 Human)
            (instance ?MEMBER2 Human)
            (member ?MEMBER1 ?TEAM)
            (member ?MEMBER2 ?TEAM)
            (hasSkill ?SKILL ?MEMBER1)
            (not
                (hasSkill ?SKILL ?MEMBER2))
            (instance ?INST ?SKILL)
            (inScopeOfInterest ?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?AGENT)
            (and
                (instance ?AGENT AutonomousAgent)
                (forall (?DATA)
                    (and
                        (inScopeOfInterest ?DATA ?AGENT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))
Mid-level-ontology.kif 26495-26501
(=>
    (instance ?X SecurityUnit)
    (modalAttribute
        (exists (?S)
            (and
                (instance ?S SurveillanceSystem)
                (inScopeOfInterest ?X ?S))) Likely))
Mid-level-ontology.kif 27001-27007
(=>
    (potentialCustomer ?CUST ?AGENT)
    (exists (?P ?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?AGENT)
            (patient ?SELLING ?P)
            (inScopeOfInterest ?CUST ?P))))
Dining.kif 810-817

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