inScopeOfInterest - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1929-1931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2737-2741
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 556-559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2734-2734	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 2735-2735	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 2732-2732	in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2733-2733	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 134-134
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.	japanese_format.kif 1915-1915
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.	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-ro.kif 107-107
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 87-87
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.	MilitaryProcesses.kif 2467-2467	allied is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28842-28842	approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2820-2820	believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2810-2810	considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2797-2797	desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8603-8603	disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8587-8587	dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2452-2452	enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8528-8528	enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2836-2836	knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2761-2761	needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2856-2856	says 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.	Mid-level-ontology.kif 19914-19929	If equal an organization and the department of a kind of physical in another organization and the organization2 is a part of the organization the other organization and equal the organization and the organization2 and an entity is an instance of a kind of physical and the organization is interested in the entity and equal a real number and the probability of the organization is an agent of another entity and equal the other entity2 and the probability of the organization2 is an agent of the other entity, then the real number is greater than the other entity2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2751-2757	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 2659-2663	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 2332-2338	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 1278-1286	If a collection is an instance of group of people and a cognitive agent is a member of the collection and a physical is a member of the collection and the physical 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 2743-2749	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 2688-2693	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 501-517	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 equal the attribute and representative sample, then the other entity_COLL the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1596-1603	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28080-28087	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2572-2577	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.	Mid-level-ontology.kif 19905-19912	If equal an organization and the department of a kind of physical in another organization, then there exist a process and an entity such that the organization is an agent of the process and the entity is an instance of a kind of physical and the organization is interested in the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2618-2628	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 2630-2643	If a collection is an instance of cross_functional team, then there exist a kind of process, an agent,, , another agent and an entity such that a kind of process is a subclass 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 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 entity is an instance of the kind of process and the collection is interested in the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2215-2224	If a physical is an instance of data warehouse, then the physical has the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28394-28400	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28900-28906	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 810-817	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 3498-3498

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

KB Term:			Term intersection

English Word: