Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  subclass
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Classifying IntentionalPsychologicalProcess) | Merge.kif 12270-12270 | Classifying is a subclass of intentional psychological process |
| (documentation Classifying EnglishLanguage "The Class of IntentionalPsychologicalProcesses which involve attaching a name or category to a thing or set of things. Note that Classifying is distinguished from Learning by the fact that the latter covers the acquisition by a CognitiveAgent of any Proposition, while the former involves the assignment of a label or category.") | Merge.kif 12271-12276 | Classifying is a subclass of intentional psychological process |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (exists (?RATE) (and (instance ?RATE Classifying) (agent ?RATE ?AGENT) (patient ?RATE ?ATTR) (destination ?RATE ?ENTITY)))) |
Dining.kif 318-325 | If X believes Y is Z, then there exists W such that W is an instance of classifying, X is an agent of W, Z is a patient of W, and W ends up at Y |
| (=> (ratingsAgent ?RATING ?AGENT) (exists (?PROCESS ?OBJ) (and (instance ?PROCESS Classifying) (agent ?PROCESS ?AGENT) (destination ?PROCESS ?OBJ) (result ?PROCESS ?RATING)))) |
Hotel.kif 3035-3042 | If X creates rating Y, then there exist Z, W such that Z is an instance of classifying, X is an agent of Z, Z ends up at W, and Y is a result of Z |
| (=> (instance ?RATING FoodRating) (hasPurpose ?RATING (exists (?C ?FOOD) (and (instance ?C Classifying) (destination ?C ?FOOD) (patient ?C ?RATING) (instance ?FOOD PreparedFood))))) |
Hotel.kif 3070-3078 | If X is an instance of food rating, then X has the purpose there exist Y, Z such that Y is an instance of classifying, Y ends up at Z, X is a patient of Y, and Z is an instance of food |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY AutonomousAgent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3080-3093 | If X believes Y is Z, Z is an instance of food rating, and Y is an instance of agent, then All of the following hold: (1) there exist W, V (2) U such that V is an instance of cooking (3) Y is an agent of V (4) W is a result of V (5) U is an instance of classifying (6) X is an agent of U (7) U ends up at W (8) Z is a patient of U |
| (=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (exists (?C ?S) (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess))))) |
Hotel.kif 3099-3107 | If X is an instance of service rating, then X has the purpose there exist Y, Z such that Y is an instance of classifying, Y ends up at Z, X is a patient of Y, and Z is an instance of service |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3109-3121 | If X believes Y is Z, Z is an instance of service rating, and Y is an instance of agent, then All of the following hold: (1) there exist W (2) V such that W is an instance of service (3) Y is an agent of W (4) V is an instance of classifying (5) X is an agent of V (6) V ends up at W (7) Z is a patient of V |
| (=> (instance ?TT TriageTag) (hasPurpose ?TT (exists (?C) (and (instance ?C Classifying) (instrument ?C ?TT))))) |
Medicine.kif 6145-6151 | If X is an instance of triage tag, then X has the purpose there exists Y such that Y is an instance of classifying and X is an instrument for Y |
| (=> (instance ?P Proliferation) (exists (?C ?A ?I) (and (instance ?C Classifying) (agent ?C ?A) (instance ?I Increasing) (destination ?C ?I) (subjectiveAttribute ?I Quick ?A)))) |
MilitaryProcesses.kif 1459-1467 | If X is an instance of proliferation, then there exist Y, Z, W such that Y is an instance of classifying, Z is an agent of Y, W is an instance of increasing, Y ends up at W, and Z believes W is quick |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?A) (experiencer ?EV ?P)) (exists (?C ?CA) (and (instance ?C Classifying) (subProcess ?C ?EV) (experiencer ?C ?P) (or (subOrganization ?CA ?A) (member ?CA ?A) (equal ?CA ?A)) (agent ?C ?CA)))) |
MilitaryProcesses.kif 2684-2698 | If X is an instance of evacuating, Y is an agent of X, and Z experiences X, then All of the following hold: (1) there exist W (2) V such that W is an instance of classifying (3) W is a subprocess of X (4) Z experiences W (5) V is a part of the organization Y, V is a member of Y, or equal V (6) Y (7) V is an agent of W |
|