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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasPurpose

Sigma KEE - hasPurpose
hasPurpose

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


(documentation hasPurpose ChineseLanguage "这个 Predicate 表达一个常规目标的概念,也就是说这个 目标事出自一个中立主事者的意图。 因此,(hasPurpose ?THING ?FORMULA) 的意思是 Physical 的实例 ?THING 的意图是由 ?FORMULA 所表达的 Proposition。注:Predicates hasPurposeresult 之间在意义上存在着一个重要的差异。虽然后者的第二个参数可以满足前者的第二个参数,常规目标是一个预期和 受期待的成果,而结果可以是预期或者受期待的。例如:一个机器过程可以有出果却没有目标,毫无目的的游荡会有一个 成果却没有目标,一个学习过程可以有目标却没有任何的成果,如此类推。") chinese_format.kif 2091-2096
(documentation hasPurpose EnglishLanguage "This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (hasPurpose ?THING ?FORMULA) means that the instance of Physical ?THING has, as its purpose, the Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the Predicates hasPurpose and result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal, a learning process may have goals with no outcomes, and so on.") Merge.kif 3805-3815
(domain hasPurpose 1 Physical) Merge.kif 3802-3802 The number 1 argument of has purpose is an instance of physical
(domain hasPurpose 2 Formula) Merge.kif 3803-3803 The number 2 argument of has purpose is an instance of formula
(instance hasPurpose AsymmetricRelation) Merge.kif 3801-3801 has purpose is an instance of asymmetric relation
(instance hasPurpose BinaryPredicate) Merge.kif 3800-3800 has purpose is an instance of binary predicate

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


(format ChineseLanguage hasPurpose "%1 的 目的 %n 是 %2") chinese_format.kif 115-115
(format EnglishLanguage hasPurpose "%1 %n{does not have} purpose %2") english_format.kif 115-115
(termFormat ChineseLanguage hasPurpose "意图") chinese_format.kif 116-116
(termFormat ChineseLanguage hasPurpose "有目的") domainEnglishFormat.kif 27469-27469
(termFormat ChineseTraditionalLanguage hasPurpose "有目的") domainEnglishFormat.kif 27468-27468
(termFormat EnglishLanguage hasPurpose "has purpose") domainEnglishFormat.kif 27467-27467

antecedent
-------------------------


(=>
    (and
        (attribute ?C Collectible)
        (hasPurpose ?C ?P))
    (exists (?H)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))
Mid-level-ontology.kif 27707-27719
(=>
    (and
        (attribute ?D DeviceDamaged)
        (hasPurpose ?D ?F))
    (not
        (modalAttribute ?F Possibility)))
Mid-level-ontology.kif 27636-27641
(=>
    (and
        (attribute ?D DeviceNormal)
        (hasPurpose ?D ?F))
    (modalAttribute ?F Possibility))
Mid-level-ontology.kif 27609-27613
(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))
Mid-level-ontology.kif 2274-2278
(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))
Mid-level-ontology.kif 2284-2288
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))
Government.kif 2303-2310
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))
Mid-level-ontology.kif 15624-15629
(=>
    (and
        (status ?Process ProcessFailure)
        (hasPurpose ?Process ?Purpose))
    (not
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Process)) ?Purpose)))
QoSontology.kif 800-807
(=>
    (hasPurpose ?THING ?PURPOSE)
    (exists (?AGENT)
        (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
Merge.kif 3830-3833

consequent
-------------------------


(=>
    (and
        (attribute ?H Mausaharati)
        (instance ?D Drumming)
        (agent ?D ?H)
        (instance ?DAY Day)
        (instance ?S Sunrise)
        (during ?S ?D)
        (before ?D ?S))
    (hasPurpose ?D
        (exists (?P ?SUHUR ?WU)
            (and
                (instance ?WU WakingUp)
                (experiencer ?WU ?P)
                (instance ?SUHUR Suhur)
                (agent ?SUHUR ?P)
                (before ?WU ?SUHUR)
                (during ?WU ?DAY)
                (during ?SUHUR ?DAY)))))
ArabicCulture.kif 57-75
(=>
    (and
        (attribute ?M DemoRecording)
        (instance ?M Recording))
    (hasPurpose ?M
        (exists (?D ?G ?MUSIC)
            (and
                (instance ?D Demonstrating)
                (record ?M ?MUSIC)
                (patient ?D ?MUSIC)
                (destination ?D ?G)
                (instance ?G GroupOfPeople)))))
Music.kif 405-416
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (and
        (possesses ?REST ?KITCHEN)
        (instance ?KITCHEN KitchenArea)
        (instance ?DINING DiningArea)
        (located ?TABLE ?DINING)
        (hasPurpose ?X
            (and
                (instance ?C Carrying)
                (agent ?C ?X)
                (origin ?C ?KITCHEN)
                (destination ?C ?TABLE)
                (patient ?C ?FOOD)
                (instance ?FOOD
                    (FoodForFn Human))))))
Mid-level-ontology.kif 18286-18307
(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))
Hotel.kif 1298-1309
(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D Downloading)
                (origin ?D ?C)))))
ComputingBrands.kif 1968-1977
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (exists (?MAINTAINING)
            (and
                (instance ?MAINTAINING Maintaining)
                (instrument ?MAINTAINING ?A)
                (experiencer ?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (instrument ?DAMAGING ?A)
                    (experiencer ?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
(=>
    (and
        (instance ?AMBUSH Ambush)
        (agent ?AMBUSH ?AG))
    (exists (?C)
        (and
            (instance ?C Concealing)
            (subProcess ?C ?AMBUSH)
            (hasPurpose ?C
                (exists (?ATTACK)
                    (and
                        (instance ?ATTACK Attack)
                        (agent ?ATTACK ?AG)))))))
Mid-level-ontology.kif 19580-19592
(=>
    (and
        (instance ?B Barricade)
        (partlyLocated ?B ?P))
    (hasPurpose ?B
        (not
            (exists (?T)
                (and
                    (instance ?T Translocation)
                    (path ?T ?P))))))
MilitaryDevices.kif 2003-2012
(=>
    (and
        (instance ?B VehicleBrake)
        (instance ?V Vehicle)
        (part ?B ?V))
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S
                    (StopFn Motion))
                (patient ?S ?V)
                (instrument ?S ?B)))))
Mid-level-ontology.kif 3955-3965
(=>
    (and
        (instance ?BP BrakePedal)
        (instance ?P Pushing)
        (instance ?V Vehicle)
        (destination ?P ?BP)
        (eventLocated ?P ?V)
        (part ?BP ?V))
    (hasPurpose ?BP
        (exists (?FS ?F)
            (and
                (instance ?FS WearingFrictionSurface)
                (instance ?F Friction)
                (instrument ?F ?FS)
                (causes ?P ?F)))))
Cars.kif 693-707
(=>
    (and
        (instance ?C Cam)
        (instance ?CS Camshaft)
        (instance ?E Engine)
        (part ?C ?E)
        (part ?CS ?E))
    (hasPurpose ?CS
        (connectedEngineeringComponents ?C ?CS)))
Cars.kif 1656-1664
(=>
    (and
        (instance ?C Cavitating)
        (instance ?P Pump)
        (attribute ?P DeviceOn)
        (attribute ?L1 Liquid)
        (contains ?P ?L1))
    (exists (?PP)
        (and
            (part ?PP ?P)
            (hasPurpose ?PP
                (and
                    (attribute ?L2 Liquid)
                    (meetsSpatially ?L2 ?PP)))
            (holdsDuring
                (WhenFn ?C)
                (not
                    (exists (?L3)
                        (and
                            (attribute ?L3 Liquid)
                            (meetsSpatially ?PP ?L3))))))))
Cars.kif 1737-1757
(=>
    (and
        (instance ?C Concealing)
        (patient ?C ?OBJ))
    (hasPurpose ?C
        (not
            (exists (?S)
                (and
                    (instance ?S Seeing)
                    (patient ?S ?OBJ))))))
Mid-level-ontology.kif 5736-5745
(=>
    (and
        (instance ?C Crankshaft)
        (instance ?I IntermittentCombustionEngine)
        (part ?I ?C))
    (hasPurpose ?C
        (exists (?E ?R)
            (and
                (instance ?E Explosion)
                (instance ?R Rotating)
                (patient ?R ?C)
                (eventLocated ?R ?I)
                (causes ?E ?R)))))
Cars.kif 349-361
(=>
    (and
        (instance ?CAB GovernmentCabinet)
        (subOrganization ?CAB
            (GovernmentFn ?AREA))
        (instance ?AREA GeopoliticalArea))
    (hasPurpose ?CAB
        (exists (?ADVICE ?LEADER)
            (and
                (instance ?ADVICE Stating)
                (agent ?ADVICE ?CAB)
                (patient ?ADVICE ?LEADER)
                (leader ?LEADER
                    (GovernmentFn ?AREA))))))
Government.kif 1467-1478
(=>
    (and
        (instance ?CO CounterOperation)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2156-2165
(=>
    (and
        (instance ?CO CounterReconnaissance)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP ReconnaissanceOperation)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2174-2184
(=>
    (and
        (instance ?CO CounterTerrorism)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP Terrorism)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 2013-2023
(=>
    (and
        (instance ?CO CounterproliferationWMD)
        (agent ?CO ?AGENT))
    (exists (?ENEMY ?OP)
        (and
            (enemy ?AGENT ?ENEMY)
            (agent ?OP ?ENEMY)
            (instance ?OP ProliferationWMD)
            (hasPurpose ?CO
                (prevents ?CO ?OP)))))
MilitaryProcesses.kif 1459-1469
(=>
    (and
        (instance ?D Dodging)
        (agent ?D ?A)
        (equal ?DT
            (WhenFn ?D)))
    (hasPurpose ?D
        (not
            (exists (?I)
                (and
                    (or
                        (meetsTemporally ?DT
                            (WhenFn ?I))
                        (overlapsTemporally ?DT
                            (WhenFn ?I)))
                    (instance ?I Impacting)
                    (patient ?I ?A))))))
Mid-level-ontology.kif 609-622
(=>
    (and
        (instance ?D Dressing)
        (instance ?O Oqal)
        (instance ?H Hat)
        (patient ?D ?O)
        (patient ?D ?H))
    (hasPurpose ?O
        (exists (?A)
            (and
                (instance ?A Attaching)
                (instrument ?A ?O)))))
ArabicCulture.kif 405-416
(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (patient ?DESTR ?PATIENT))
    (hasPurpose ?DESTR
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (subProcess ?DAMAGING ?DESTR)
                    (patient ?DAMAGING ?DAMAGED)
                    (not
                        (equal ?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 618-630
(=>
    (and
        (instance ?DIO DefensiveInformationOperation)
        (agent ?DIO ?AGENT)
        (enemy ?AGENT ?ENEMY)
        (desires ?ENEMY
            (knows ?ENEMY ?FORMULA))
        (desires ?AGENT
            (not
                (knows ?ENEMY ?FORMULA))))
    (hasPurpose ?DIO
        (not
            (knows ?ENEMY ?FORMULA))))
MilitaryProcesses.kif 1857-1869
(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?C Crankcase)
        (instance ?P Piston)
        (instance ?T TwoStrokeTransfer)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?C))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?C))))
Cars.kif 509-521

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3295-3301 IBookstore purpose there exists ?D such that ?D is an instance of Downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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