desires

-------------------------


(=>
    (and
        (parent ?CHILD ?PARENT)
        (or
            (instance ?CHILD HumanChild)
            (instance ?CHILD HumanBaby)))
    (modalAttribute
        (exists (?CARE)
            (and
                (instance ?CARE ChildCareService)
                (desires ?PARENT ?CARE))) Possibility))
Hotel.kif 1865-1875
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 361-371
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30356-30371
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30300-30310
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30373-30387
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G ?O)
                (measure ?O ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30312-30321
(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))
Merge.kif 2723-2728
(=>
    (and
        (watchingListings ?USER ?COLL ?SITE)
        (instance ?LISTING WebListing)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ)
        (member ?LISTING ?COLL))
    (modalAttribute
        (desires ?USER
            (exists (?BUYING)
                (and
                    (instance ?BUYING Buying)
                    (patient ?BUYING ?OBJ)
                    (agent ?BUYING ?USER)))) Likely))
UXExperimentalTerms.kif 1454-1468
(=>
    (and
        (webcart ?USER ?COLL ?SITE)
        (instance ?OBJ Object)
        (member ?OBJ ?COLL))
    (desires ?USER
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (patient ?BUYING ?OBJ)
                (agent ?BUYING ?USER)))))
UXExperimentalTerms.kif 864-874
(=>
    (attribute ?A Hungry)
    (desires ?A
        (exists (?E)
            (and
                (instance ?E Eating)
                (agent ?E ?A)))))
Mid-level-ontology.kif 19165-19171
(=>
    (attribute ?A Schadenfreude)
    (exists (?A2 ?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (not
                (equal ?A ?A2))
            (not
                (desires ?A2 ?P)))))
emotion.kif 766-775
(=>
    (attribute ?A Thirsty)
    (desires ?A
        (exists (?D)
            (and
                (instance ?D Drinking)
                (agent ?D ?A)))))
Mid-level-ontology.kif 19178-19184
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))
Mid-level-ontology.kif 21989-21997
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))
Law.kif 508-515
(=>
    (dislikes ?AGENT ?OBJECT)
    (desires ?AGENT
        (not
            (possesses ?AGENT ?OBJECT))))
Mid-level-ontology.kif 7112-7114
(=>
    (enjoys ?AGENT ?PROCESS)
    (desires ?AGENT
        (exists (?INSTANCE)
            (and
                (instance ?INSTANCE ?PROCESS)
                (or
                    (agent ?INSTANCE ?AGENT)
                    (experiencer ?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7040-7048
(=>
    (fears ?AGENT ?FORMULA)
    (not
        (desires ?AGENT ?FORMULA)))
Mid-level-ontology.kif 7073-7076
(=>
    (holdsDuring ?T
        (and
            (located ?H ?L)
            (airTemperature ?L
                (MeasureFn ?T ?TU))
            (attribute ?H FeelingCold)))
    (desires ?H
        (holdsDuring ?T
            (and
                (airTemperature ?L
                    (MeasureFn ?T2 ?TU))
                (greaterThan ?T2 ?T)))))
emotion.kif 1865-1877
(=>
    (holdsDuring ?T
        (and
            (located ?H ?L)
            (airTemperature ?L
                (MeasureFn ?T ?TU))
            (attribute ?H FeelingHot)))
    (desires ?H
        (holdsDuring ?T
            (and
                (airTemperature ?L
                    (MeasureFn ?T2 ?TU))
                (greaterThan ?T ?T2)))))
emotion.kif 1902-1914
(=>
    (holdsDuring ?T
        (attribute ?H Sleepy))
    (desires ?H
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?H Asleep))))
Mid-level-ontology.kif 15878-15884
(=>
    (holdsDuring ?T1
        (and
            (member ?AGENT1 Public)
            (member ?AGENT2 Public)
            (not
                (equal ?AGENT1 ?AGENT2))))
    (exists (?INTEREST)
        (holdsDuring ?T1
            (and
                (desires ?AGENT1 ?INTEREST)
                (desires ?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 25471-25482
(=>
    (hopes ?AGENT ?FORMULA)
    (desires ?AGENT ?FORMULA))
Mid-level-ontology.kif 7084-7086
(=>
    (inhibits ?A ?P)
    (desires ?A
        (not
            (exists (?I)
                (instance ?I ?P)))))
Law.kif 193-198
(=>
    (instance ?AW ArtWork)
    (hasPurpose ?AW
        (exists (?H)
            (and
                (instance ?H Human)
                (desires ?H
                    (exists (?P)
                        (and
                            (instance ?P Perception)
                            (experiencer ?P ?H)
                            (patient ?P ?AW))))))))
Merge.kif 15585-15596
(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (desires ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))
UXExperimentalTerms.kif 2806-2815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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