(=>
(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 |
