| appearance as argument number 1 |
|
| (documentation subjectiveAttribute EnglishLanguage "(subjectiveAttribute ?ENTITY ?ATTR ?AGENT) means that ?AGENT attaches ?ATTR to ?ENTITY") | Dining.kif 306-307 | |
| (domain subjectiveAttribute 1 Entity) | Dining.kif 309-309 | |
| (domain subjectiveAttribute 2 Attribute) | Dining.kif 310-310 | |
| (domain subjectiveAttribute 3 Agent) | Dining.kif 311-311 | |
| (instance subjectiveAttribute TernaryPredicate) | Dining.kif 308-308 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage subjectiveAttribute "%3 believes %1 是 %2 ") | domainEnglishFormat.kif 4699-4699 | |
| (format ChineseTraditionalLanguage subjectiveAttribute "%3 believes %1 是 %2 ") | domainEnglishFormat.kif 4698-4698 | |
| (format EnglishLanguage subjectiveAttribute "%3 believes %1 is %2") | domainEnglishFormat.kif 4697-4697 | |
| (termFormat EnglishLanguage subjectiveAttribute "subjective attribute") | Dining.kif 312-312 |
| antecedent |
|
|
| (=> (and (subjectiveAttribute ?AGENT1 Quick ?PERSON) (subjectiveAttribute ?AGENT2 Slow ?PERSON) (instance ?PROCESS1 ?CLASS) (instance ?PROCESS2 ?CLASS) (subclass ?CLASS Process) (agent ?PROCESS1 ?AGENT1) (agent ?PROCESS2 ?AGENT2)) (and (instance ?U UnitOfDuration) (duration (WhenFn ?PROCESS1) (MeasureFn ?TIME1 ?U)) (duration (WhenFn ?PROCESS2) (MeasureFn ?TIME2 ?U)) (greaterThan ?TIME2 ?TIME1))) |
Dining.kif 997-1012 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY Agent)) (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 3012-3025 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR HotelRating)) (attribute ?ENTITY TravelerAccommodation)) |
Hotel.kif 2981-2985 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant)) |
Hotel.kif 2991-2995 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY Agent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3040-3052 | |
| (=> (and (subjectiveAttribute ?OBJ ?ATTR ?AGENT) (instance ?ATTR TimeAttribute)) (instance ?OBJ Agent)) |
Dining.kif 979-983 | |
| (=> (and (subjectiveAttribute ?X Favorite ?AGENT) (instance ?X ?CLASS)) (exists (?Y) (and (not (subjectiveAttribute ?Y Favorite ?AGENT)) (instance ?Y ?CLASS) (prefers ?AGENT (wants ?AGENT ?X) (wants ?AGENT ?Y))))) |
Dining.kif 965-973 | |
| (=> (and (subjectiveAttribute ?X Won ?JUDGE) (instance ?X (FoodForFn Human))) (exists (?CONTEST ?AGENT ?PROC) (and (contestObject ?CONTEST ?X ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (subProcess ?PROC ?CONTEST)))) |
Dining.kif 853-862 | |
| (=> (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (exists (?RATE) (and (instance ?RATE Classifying) (agent ?RATE ?AGENT) (patient ?RATE ?ATTR) (destination ?RATE ?ENTITY)))) |
Dining.kif 314-321 |
| consequent |
|
|
| (=> (and (subjectiveAttribute ?X Favorite ?AGENT) (instance ?X ?CLASS)) (exists (?Y) (and (not (subjectiveAttribute ?Y Favorite ?AGENT)) (instance ?Y ?CLASS) (prefers ?AGENT (wants ?AGENT ?X) (wants ?AGENT ?Y))))) |
Dining.kif 965-973 | |
| (=> (contestObject ?CONTEST ?OBJ ?AGENT) (and (contestParticipant ?CONTEST ?AGENT) (exists (?MAKE ?JUDGE ?PROC) (and (instance ?MAKE Making) (result ?MAKE ?OBJ) (agent ?MAKE ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (patient ?PROC ?OBJ) (result ?PROC (subjectiveAttribute ?OBJ ?ATTR ?JUDGE)) (subProcess ?PROC ?CONTEST))))) |
Dining.kif 836-849 | |
| (=> (dressCode ?CODE ?AGENT) (modalAttribute (and (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (instance ?OUTFIT Outfit) (customer ?CUST ?AGENT) (holdsDuring (WhenFn (located ?CUST ?AGENT)) (forall (?ITEM) (=> (member ?ITEM ?OUTFIT) (wears ?CUST ?ITEM))))) Obligation)) |
Dining.kif 462-473 |
|
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