inScopeOfInterest - Sigma Knowledge base Browser

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 2627-2631
(domain inScopeOfInterest 1 CognitiveAgent)	Merge.kif 2624-2624	The number 1 argument of in scope of interest is an instance of cognitive agent
(domain inScopeOfInterest 2 Entity)	Merge.kif 2625-2625	The number 2 argument of in scope of interest is an instance of entity
(instance inScopeOfInterest BinaryPredicate)	Merge.kif 2622-2622	in scope of interest is an instance of binary predicate
(instance inScopeOfInterest IntentionalRelation)	Merge.kif 2623-2623	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 25155-25155	approves is a subrelation of in scope of interest
(subrelation believes inScopeOfInterest)	Merge.kif 2710-2710	believes is a subrelation of in scope of interest
(subrelation considers inScopeOfInterest)	Merge.kif 2700-2700	considers is a subrelation of in scope of interest
(subrelation desires inScopeOfInterest)	Merge.kif 2687-2687	desires is a subrelation of in scope of interest
(subrelation disapproves inScopeOfInterest)	Mid-level-ontology.kif 7122-7122	disapproves is a subrelation of in scope of interest
(subrelation dislikes inScopeOfInterest)	Mid-level-ontology.kif 7106-7106	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 7012-7012	enjoys is a subrelation of in scope of interest
(subrelation knows inScopeOfInterest)	Merge.kif 2725-2725	knows is a subrelation of in scope of interest
(subrelation needs inScopeOfInterest)	Merge.kif 2651-2651	needs is a subrelation of in scope of interest
(subrelation wants inScopeOfInterest)	Merge.kif 2664-2664	wants is a subrelation of in scope of interest
(termFormat ChineseLanguage inScopeOfInterest "在感兴趣的范围内")	domainEnglishFormat.kif 30136-30136
(termFormat ChineseLanguage inScopeOfInterest "感兴趣")	chinese_format.kif 134-134
(termFormat ChineseTraditionalLanguage inScopeOfInterest "在感興趣的範圍內")	domainEnglishFormat.kif 30135-30135
(termFormat EnglishLanguage inScopeOfInterest "in scope of interest")	domainEnglishFormat.kif 30134-30134

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 16068-16082	If an organization is equal to the department of a kind of physical in another organization and the organization2 は組織 the other organization の一部では %n and the organization is not equal to the organization2 and an entity is an instance of a kind of physical and a cognitive agent is interested in the entity and the cognitive agent1 is equal to the probability of the organization is an agent of the cognitive agent and the cognitive agent2 is equal to the probability of the organization2 is an agent of the cognitive agent, then the cognitive agent1 is greater than the cognitive agent2
(=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT))))	Merge.kif 2641-2647	If a cognitive agent is interested in an entity, then there exists a process such that the process is an instance of intentional process and the cognitive agent is an agent of the process and the entity is a patient of the process

consequent

(=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS))	UXExperimentalTerms.kif 2864-2868	If a cross-functional team works on an entity and a cognitive agent is a member of the cross-functional team, then the cognitive agent is interested in the entity
(=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG))	Government.kif 2312-2318	If a cognitive agent is an instance of political pressure group and an area of concern is an organizational objective of the cognitive agent and an agent is an instance of government organization and the area of concern is an organizational objective of the agent, then the cognitive agent is interested in the agent
(=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB))	Hotel.kif 1221-1229	If a collection is an instance of group of people and a cognitive agent is a member of the collection and an object is a member of the collection and the object is an instance of human baby and the cognitive agent is an instance of human adult and an entity is an instance of crib, then the cognitive agent is interested in the entity
(=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT))	Merge.kif 2633-2639	If a process is an instance of intentional process and a cognitive agent is an agent of the process and the cognitive agent is an instance of cognitive agent and an entity is a patient of the process, then the cognitive agent is interested in the entity
(=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ))	Merge.kif 2578-2583	If an entity is an instance of intentional relation and the entity a cognitive agent and @ROW and a third entity is a member of (@ROW), then the cognitive agent is interested in the third entity
(=> (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 625-641	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
(=> (and (instance ?WATCH WatchItem) (instance ?AGENT Agent) (instance ?OBJ Object) (agent ?WATCH ?AGENT) (patient ?WATCH ?OBJ)) (inScopeOfInterest ?AGENT ?OBJ))	UXExperimentalTerms.kif 1800-1807	If a process is an instance of watch item and a cognitive agent is an instance of agent and an entity is an instance of object and the cognitive agent is an agent of the process and the entity is a patient of the process, then the cognitive agent is interested in the entity
(=> (attribute ?X HandicappedFriendly) (exists (?ATTR ?PERSON) (and (instance ?ATTR Disability) (instance ?PERSON Human) (attribute ?PERSON ?ATTR) (inScopeOfInterest ?PERSON ?X))))	Mid-level-ontology.kif 24208-24215	If handicapped friendly is an attribute of an object, then there exist an attribute and a cognitive agent such that the attribute is an instance of disability and the cognitive agent is an instance of human and the attribute is an attribute of the cognitive agent and the cognitive agent is interested in the object
(=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST))))	UXExperimentalTerms.kif 2777-2782	If an organization is a business unit of a Business, then there exists an entity such that the entity is an instance of entity and the organization is interested in the entity
(=> (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (exists (?P) (and (agent ?P ?DEP) (instance ?I ?PHYS) (inScopeOfInterest ?P ?I))))	Mid-level-ontology.kif 16060-16066	If an organization is equal to the department of a kind of physical in another organization, then there exists a process such that the organization is an agent of the process and an entity is an instance of a kind of physical and the process is interested in the entity
(=> (instance ?TEAM CrossFunctionalTeam) (exists (?INTEREST) (and (instance ?INTEREST Entity) (forall (?MEMBER) (=> (and (instance ?MEMBER Human) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?INTEREST))))))	UXExperimentalTerms.kif 2823-2833	If a collection is an instance of cross-functional team, then there exists an entity such that the entity is an instance of entity and for all a cognitive agent if the cognitive agent is an instance of human and the cognitive agent is a member of the collection, then the cognitive agent is interested in the entity
(=> (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 2835-2847	If a collection is an instance of cross-functional team, then there exist a kind of process, an agent and another agent such that a kind of process is an instance of process and the agent is an instance of human and the other agent is an instance of human and the agent is a member of the collection and the other agent is a member of the collection and the agent the skill to do the kind of process and the other agent does not have the skill to do the kind of process and the collection is interested in the kind of process
(=> (instance ?WAREHOUSE DataWarehouse) (hasPurpose ?WAREHOUSE (exists (?AGENT) (and (instance ?AGENT Agent) (forall (?DATA) (and (inScopeOfInterest ?DATA ?AGENT) (component ?DATA ?WAREHOUSE)))))))	UXExperimentalTerms.kif 2419-2428	If a physical is an instance of data warehouse, then the physical purpose there exists an entity such that the entity is an instance of agent and for all another entity the other entity is interested in the entity and the other entity is a component of the physical
(=> (instance ?X GrabBar) (modalAttribute (exists (?HUMAN) (and (attribute ?HUMAN PhysicalDisability) (inScopeOfInterest ?HUMAN ?X))) Likely))	Mid-level-ontology.kif 24639-24645	If an entity is an instance of grab bar, then the statement there exists another entity such that physical disability is an attribute of the other entity and the other entity is interested in the entity has the modal force of likely
(=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely))	Mid-level-ontology.kif 25235-25241	If an entity is an instance of security unit, then the statement there exists another entity such that the other entity is an instance of surveillance system and the entity is interested in the other entity has the modal force of likely
(=> (potentialCustomer ?CUST ?AGENT) (exists (?P ?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (patient ?SELLING ?P) (inScopeOfInterest ?CUST ?P))))	Dining.kif 763-770	If a cognitive agent is a potential customer for an agent, then there exist an entity and a process such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the cognitive agent is interested in the entity

appearance as argument number 0

(inScopeOfInterest InternationalHydrographicOrganization WorldOcean)

Government.kif 3468-3468

International hydrographic organization is interested in world ocean

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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