Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| inScopeOfInterest |
| appearance as argument number 1 |
|
| (instance inScopeOfInterest BinaryPredicate) | Merge.kif 2830-2830 | in scope of interest is an instance of binary predicate |
| (instance inScopeOfInterest IntentionalRelation) | Merge.kif 2831-2831 | in scope of interest is an instance of intentional relation |
| (domain inScopeOfInterest 1 CognitiveAgent) | Merge.kif 2832-2832 | The number 1 argument of in scope of interest is an instance of cognitive agent |
| (domain inScopeOfInterest 2 Entity) | Merge.kif 2833-2833 | The number 2 argument of in scope of interest is an instance of entity |
| (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 2835-2839 | The number 2 argument of in scope of interest is an instance of entity |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (inScopeOfInterest ?AGENT ?OBJECT) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (patient ?PROCESS ?OBJECT)))) |
Merge.kif 2849-2855 | If X is interested in Y, then there exists Z such that Z is an instance of intentional process, X is an agent of Z, and Y is a patient of Z |
| (=> (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 20248-20263 | If All of the following hold: (1) equal X and the department of Y in Z (2) W is a part of the organization Z (3) equal X and W (4) V is an instance of Y (5) X is interested in V (6) equal U and the probability of X is an agent of T (7) equal S and the probability of W is an agent of T, then U is greater than S |
| consequent |
|
|
| (=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ)) |
Merge.kif 2786-2791 | If X is an instance of intentional relation, X Y and @ROW, and W is a member of (@ROW), then Y is interested in W |
| (=> (and (instance ?PROCESS IntentionalProcess) (agent ?PROCESS ?AGENT) (instance ?AGENT CognitiveAgent) (patient ?PROCESS ?OBJECT)) (inScopeOfInterest ?AGENT ?OBJECT)) |
Merge.kif 2841-2847 | If X is an instance of intentional process, Y is an agent of X, Y is an instance of cognitive agent, and Z is a patient of X, then Y is interested in Z |
| (=> (equal ?DEP (DepartmentOfFn ?COMP ?PHYS)) (exists (?P ?I) (and (agent ?P ?DEP) (instance ?I ?PHYS) (inScopeOfInterest ?DEP ?I)))) |
Mid-level-ontology.kif 20239-20246 | If equal X and the department of Y in Z, then there exist W, V such that X is an agent of W, V is an instance of Y, and X is interested in V |
| (=> (attribute ?X HandicappedFriendly) (exists (?ATTR ?PERSON) (and (instance ?ATTR Disability) (instance ?PERSON Human) (attribute ?PERSON ?ATTR) (inScopeOfInterest ?PERSON ?X)))) |
Mid-level-ontology.kif 28752-28759 | If handicapped friendly is an attribute of X, then there exist Y, Z such that Y is an instance of disability, Z is an instance of human, Y is an attribute of Z, and Z is interested in X |
| (=> (instance ?X GrabBar) (modalAttribute (exists (?HUMAN) (and (attribute ?HUMAN PhysicalDisability) (inScopeOfInterest ?HUMAN ?X))) Likely)) |
Mid-level-ontology.kif 29093-29099 | If X is an instance of grab bar, then the statement there exists Y such that physical disability is an attribute of Y and Y is interested in X has the modal force of likely |
| (=> (instance ?X SecurityUnit) (modalAttribute (exists (?S) (and (instance ?S SurveillanceSystem) (inScopeOfInterest ?X ?S))) Likely)) |
Mid-level-ontology.kif 29595-29601 | If X is an instance of security unit, then the statement there exists Y such that Y is an instance of surveillance system and X is interested in Y 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 810-817 | If X is a potential customer for Y, then there exist Z, W such that W is an instance of selling, Y is an agent of W, Z is a patient of W, and X is interested in Z |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (organizationalObjective ?GROUP ?AIM) (instance ?ORG GovernmentOrganization) (organizationalObjective ?ORG ?AIM)) (inScopeOfInterest ?GROUP ?ORG)) |
Government.kif 2341-2347 | If X is an instance of political pressure group, Y is an organizational objective of X, Z is an instance of government organization, and Y is an organizational objective of Z, then X is interested in Z |
| (=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB)) |
Hotel.kif 1278-1286 | If All of the following hold: (1) X is an instance of group of people (2) Y is a member of X (3) Z is a member of X (4) Z is an instance of human baby (5) Y is an instance of human adult (6) W is an instance of crib, then Y is interested in W |
| (=> (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 | If All of the following hold: (1) ?SAMPLE_COLL is an instance of collection (2) ?POP_COLL is an instance of collection (3) Z is an instance of experimenting (4) W is an instance of cognitive agent (5) W is an agent of Z (6) ?SAMPLE_COLL is a sample of ?POP_COLL for Z, then For all Attribute V: if ?SAMPLE_COLL the attribute V, W is interested in V, and equal V and representative sample, then ?POP_COLL the attribute V |
| (=> (and (instance ?WATCH WatchItem) (instance ?AGENT AutonomousAgent) (instance ?OBJ Object) (agent ?WATCH ?AGENT) (patient ?WATCH ?OBJ)) (inScopeOfInterest ?AGENT ?OBJ)) |
UXExperimentalTerms.kif 1596-1603 | If X is an instance of watch item, Y is an instance of agent, Z is an instance of object, Y is an agent of X, and Z is a patient of X, then Y is interested in Z |
| (=> (instance ?WAREHOUSE DataWarehouse) (hasPurpose ?WAREHOUSE (exists (?AGENT) (and (instance ?AGENT AutonomousAgent) (forall (?DATA) (and (inScopeOfInterest ?DATA ?AGENT) (component ?DATA ?WAREHOUSE))))))) |
UXExperimentalTerms.kif 2216-2225 | If X is an instance of data warehouse, then X has the purpose there exists Y such that Y is an instance of agent, Z Z is interested in Y, and Z is a component of X |
| (=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST)))) |
UXExperimentalTerms.kif 2573-2578 | If X is a business unit of Y, then there exists Z such that Z is an instance of entity and X is interested in Z |
| (=> (instance ?TEAM CrossFunctionalTeam) (exists (?INTEREST) (and (instance ?INTEREST Entity) (forall (?MEMBER) (=> (and (instance ?MEMBER Human) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?INTEREST)))))) |
UXExperimentalTerms.kif 2619-2629 | If X is an instance of cross_functional team, then there exists Y such that Y is an instance of entity, Z Z is an instance of human, and Z is a member of XZ is interested in Y |
| (=> (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 2631-2644 | If X is an instance of cross_functional team, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a subclass of process (3) Z is an instance of human (4) W is an instance of human (5) Z is a member of X (6) W is a member of X (7) Z has the skill to do Y (8) W does not have the skill to do Y (9) V is an instance of Y (10) X is interested in V |
| (=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS)) |
UXExperimentalTerms.kif 2660-2664 | If X works on Y and Z is a member of X, then Z is interested in Y |
| appearance as argument number 0 |
|
|
| (inScopeOfInterest InternationalHydrographicOrganization WorldOcean) | Government.kif 3529-3529 | International hydrographic organization is interested in world ocean |
|