| 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 | subjectiveAttribute 的 1 数量 是 实体 的 instance |
| (domain subjectiveAttribute 2 Attribute) | Dining.kif 310-310 | subjectiveAttribute 的 2 数量 是 属性 的 instance |
| (domain subjectiveAttribute 3 Agent) | Dining.kif 311-311 | subjectiveAttribute 的 3 数量 是 施事体 的 instance |
| (instance subjectiveAttribute TernaryPredicate) | Dining.kif 308-308 | subjectiveAttribute 是 三元谓语 的 instance |
| 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 3025-3038 |
|
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR HotelRating)) (attribute ?ENTITY TravelerAccommodation)) |
Hotel.kif 2994-2998 | |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR RestaurantRating)) (instance ?ENTITY Restaurant)) |
Hotel.kif 3004-3008 | |
| (=> (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 3053-3065 | |
| (=> (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 | |
| (=> (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 1437-1445 |
|
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