inScopeOfInterest - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2893-2895
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2888-2892
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2886-2886	The number 1 argument of in scope of interest is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2887-2887	The number 2 argument of in scope of interest is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2884-2884	in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2885-2885	in scope of interest is an instance of intentional relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	french_format.kif 88-88
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 148-148
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 40-40
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 38-38
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 94-94
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 187-187
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 300-300
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24676-24676	approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2979-2979	believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Facebook.kif 42-42	connected in social network is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2968-2968	considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2953-2953	desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7137-7137	disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7121-7121	dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2418-2418	enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7028-7028	enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 62-62	expected degree is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 444-444	expectedYearOfGraduation is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2995-2995	knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2915-2915	needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2929-2929	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

No TPTP formula. May not be expressible in strict first order.

Merge.kif 2905-2911

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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2867-2871	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 2318-2324	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1217-1225	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2897-2903	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2836-2841	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 628-644	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 has an 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 has an attribute the attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1803-1810	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 another entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23729-23736	If handicapped friendly is an attribute of an object, then there exist an entity and a cognitive agent such that the entity is an instance of disability and the cognitive agent is an instance of human and the entity is an attribute of the cognitive agent and the cognitive agent is interested in the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2780-2785	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2826-2836	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2838-2850	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 has skill to do the kind of process and the other agent has not skill to do the kind of process and the collection is interested in the kind of process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2422-2431	If a corpuscular object is an instance of data warehouse, then the corpuscular object has purpose there exists an entity such that the entity is an instance of agent and for all another corpuscular object the other corpuscular object is interested in the entity and the other corpuscular object is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24160-24166	If an entity is an instance of grab bar, then the statement there exists a cognitive agent such that physical disability is an attribute of the cognitive agent and the cognitive agent is interested in the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24756-24762	If a cognitive agent is an instance of security unit, then the statement there exists an entity such that the entity is an instance of surveillance system and the cognitive agent is interested in the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 767-774	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

No TPTP formula. May not be expressible in strict first order.

Government.kif 3474-3474

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: