Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subjectiveAttribute
subjectiveAttribute

appearance as argument number 1
-------------------------


(documentation subjectiveAttribute EnglishLanguage "(subjectiveAttribute ?ENTITY ?ATTR ?AGENT) means that ?AGENT attaches ?ATTR to ?ENTITY") Dining.kif 310-311
(domain subjectiveAttribute 1 Entity) Dining.kif 313-313
(domain subjectiveAttribute 2 Attribute) Dining.kif 314-314
(domain subjectiveAttribute 3 AutonomousAgent) Dining.kif 315-315
(instance subjectiveAttribute TernaryPredicate) Dining.kif 312-312

appearance as argument number 2
-------------------------


(format ChineseLanguage subjectiveAttribute "%3 believes %1 是 %2 ") domainEnglishFormat.kif 4690-4690
(format ChineseTraditionalLanguage subjectiveAttribute "%3 believes %1 是 %2 ") domainEnglishFormat.kif 4689-4689
(format EnglishLanguage subjectiveAttribute "%3 believes %1 is %2") domainEnglishFormat.kif 4688-4688
(termFormat EnglishLanguage subjectiveAttribute "subjective attribute") Dining.kif 316-316

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 1044-1059
(=>
    (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 3062-3075
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR HotelRating))
    (attribute ?ENTITY TravelerAccommodation))
Hotel.kif 3030-3034
(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR RestaurantRating))
    (instance ?ENTITY Restaurant))
Hotel.kif 3040-3044
(=>
    (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 3091-3103
(=>
    (and
        (subjectiveAttribute ?OBJ ?ATTR ?AGENT)
        (instance ?ATTR TimeAttribute))
    (instance ?OBJ AutonomousAgent))
Dining.kif 1026-1030
(=>
    (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 1012-1020
(=>
    (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 900-909
(=>
    (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
    (exists (?RATE)
        (and
            (instance ?RATE Classifying)
            (agent ?RATE ?AGENT)
            (patient ?RATE ?ATTR)
            (destination ?RATE ?ENTITY))))
Dining.kif 318-325

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 1012-1020
(=>
    (contestObject ?CONTEST ?OBJ ?AGENT)
    (and
        (contestParticipant ?CONTEST ?AGENT)
        (exists (?MAKE ?JUDGE ?PROC ?AFTR)
            (and
                (instance ?MAKE Making)
                (result ?MAKE ?OBJ)
                (agent ?MAKE ?AGENT)
                (instance ?PROC Judging)
                (agent ?PROC ?JUDGE)
                (patient ?PROC ?OBJ)
                (result ?PROC
                    (subjectiveAttribute ?OBJ ?AFTR ?JUDGE))
                (subProcess ?PROC ?CONTEST)))))
Dining.kif 883-896
(=>
    (dressCode ?CODE ?AGENT)
    (modalAttribute
        (exists (?OUTFIT ?T)
            (and
                (instance ?OUTFIT Outfit)
                (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
                (holdsDuring ?T
                    (forall (?CUST ?ITEM)
                        (and
                            (customer ?CUST ?AGENT)
                            (locatedAtTime ?CUST ?T ?AGENT)
                            (member ?ITEM ?OUTFIT)
                            (wears ?CUST ?ITEM)))))) Obligation))
Dining.kif 492-505
(=>
    (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