desires

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


(=>
    (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 26080-26091
(=>
    (hopes ?AGENT ?FORMULA)
    (desires ?AGENT ?FORMULA))
Mid-level-ontology.kif 7404-7406
(=>
    (inhibits ?A ?P)
    (desires ?A
        (not
            (exists (?I)
                (instance ?I ?P)))))
Mid-level-ontology.kif 18371-18376
(=>
    (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 15854-15865
(=>
    (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 2596-2605
(=>
    (instance ?P Phishing)
    (exists (?FS ?V ?M ?I)
        (and
            (instance ?M Communication)
            (origin ?M ?FS)
            (agent ?P ?FS)
            (destination ?M ?V)
            (instance ?I Formula)
            (knows ?V ?I)
            (not
                (desires ?V
                    (knows ?FS ?I)))
            (desires ?FS
                (knows ?FS ?I)))))
ComputingBrands.kif 4235-4249
(=>
    (instance ?P Prompting)
    (exists (?H ?A)
        (and
            (destination ?P ?H)
            (agent ?P ?A)
            (desires ?A
                (exists (?LC)
                    (and
                        (instance ?LC LinguisticCommunication)
                        (agent ?LC ?H)
                        (earlier ?P ?LC)
                        (subsumesContentInstance ?LC ?P)))))))
Mid-level-ontology.kif 29710-29722
(=>
    (instance ?S Sieve)
    (hasPurpose ?S
        (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)
            (and
                (instance ?REMOVE Removing)
                (instance ?MIX Mixture)
                (instance ?SUB Substance)
                (part ?SUB ?MIX)
                (patient ?REMOVE ?SUB)
                (part ?HOLE ?S)
                (instrument ?REMOVE ?HOLE)
                (instance ?A Human)
                (agent ?REMOVE ?A)
                (not
                    (desires ?A ?SUB))))))
Mid-level-ontology.kif 4528-4543
(=>
    (instance ?X
        (AbortedFn ?A ?P))
    (exists (?T)
        (and
            (holdsDuring ?T
                (desires ?A
                    (exists (?PR)
                        (and
                            (instance ?PR ?P)
                            (agent ?PR ?A)))))
            (earlier ?T
                (WhenFn ?X)))))
MilitaryProcesses.kif 2417-2428
(=>
    (plays ?G ?A)
    (desires ?A
        (and
            (instance ?S Score)
            (subProcess ?S ?G)
            (agent ?S ?A))))
ComputingBrands.kif 1710-1716
(=>
    (plays ?G ?A)
    (desires ?A
        (exists (?S)
            (achievement ?G ?A ?S))))
ComputingBrands.kif 1671-1675
(=>
    (prohibits ?A ?F)
    (desires ?A
        (not ?F)))
Law.kif 55-58
(=>
    (shortage ?A ?O ?C ?T ?Q)
    (desires ?A
        (exists (?I)
            (and
                (instance ?I ?O)
                (possesses ?A ?I)))))
Mid-level-ontology.kif 30890-30896
(=>
    (webSeller ?SELLER ?SITE)
    (desires ?SELLER
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (agent ?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973


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