| 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 4695-4695 | |
| (format ChineseTraditionalLanguage subjectiveAttribute "%3 believes %1 是 %2 ") | domainEnglishFormat.kif 4694-4694 | |
| (format EnglishLanguage subjectiveAttribute "%3 believes %1 is %2") | domainEnglishFormat.kif 4693-4693 | |
| (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 (duration (WhenFn ?PROCESS1) ?TIME1) (duration (WhenFn ?PROCESS2) ?TIME2) (greaterThan ?TIME2 ?TIME1))) |
Dining.kif 997-1009 | |
| (=> (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 2998-3011 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR HotelRating)) (attribute ?ENTITY TravelerAccommodation)) |
Hotel.kif 2967-2971 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant)) |
Hotel.kif 2977-2981 | |
| (=> (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 3026-3038 | |
| (=> (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners