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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Process
Process(process)
Carnot's_ideal_cycle, Carnot_cycle, Christianisation, Christianization, Doppler_effect, Doppler_shift, Renaissance, Renascence, ability, abiogenesis, abort, about-face, absence, absenteeism, abut, access, accident, accompaniment, account, acoustic_impedance, acoustic_reactance, acoustic_resistance, acquire, act_of_God, action, activate, activation, active, activity, actuate, adapted, adaptive_radiation, add_on, add_up, addle, address, adiabatic_process, adjoin, adjournment, adjustment, adopt, adulteration, advance, advent, aetiology, affect, affinity, affirm, affix, afford...

VerbNet: contiguous_location-47.8|adjoin, adopt-93|take_on, engender-27|actuate, engender-27|prompt, tape-22.4|affix, contiguous_location-47.8|adjoin, appoint-29.1|adopt, other_cos-45.4|advance, tape-22.4|affix, other_cos-45.4|ease, conjecture-29.5|allow, conjecture-29.5|allow, other_cos-45.4|change, amalgamate-22.2|interchange, amuse-31.1|stupefy, appeal-31.4|appeal, tape-22.4|affix, engender-27|provoke, fill-9.8|choke, ensure-99|secure, appeal-31.4|appeal, indicate-78|prognosticate, indicate-78|prognosticate, avoid-52|avoid, avoid-52|avoid, force-59|shock, banish-10.2|banish, fill-9.8|blockade, fill-9.8|blockade, fill-9.8|bathe, contiguous_location-47.8|contain, declare-29.4|prove, amuse-31.1|stupefy, other_cos-45.4|steady, turn-26.6.1|turn, amuse-31.1|throw, amuse-31.1|throw, orphan-29.7|beggar, begin-55.1|begin, amuse-31.1|numb, neglect-75|fail, amuse-31.1|stupefy, addict-96|bias, hurt-40.8.3|burn, other_cos-45.4|blur, forbid-67|stop, fill-9.8|blockade, concealment-16|screen, fill-9.8|blockade, forbid-67|obstruct, ...


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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order. Merge.kif 1530-1538
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6795-6795 "http://upload.wikimedia.org/wikipedia/commons/3/38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG" is a URL depicting process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1529-1529 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2580-2580 Search engine optimization is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2393-2393 The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15560-15560 The values returned by operating are subclasses of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1497-1497 Add to cart is a subclass of process
No TPTP formula. May not be expressible in strict first order. Media.kif 164-164 AgentPatientProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28182-28182 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21694-21694 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21714-21714 Causing unhappiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1661-1661 Checkout is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1218-1218 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1540-1540 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9743-9743 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11544-11544 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10159-10159 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9739-9739 Natural process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2067-2067 Power generation is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1553-1553 SingleAgentProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1791-1791 Watch item is a subclass of process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 851-851 "过程" is the printable form of process in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 909-909 "process" is the printable form of process in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2392-2392 The number 2 argument of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 579-579 The number 1 argument of start is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 593-593 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2333-2333 The number 1 argument of agent is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20794-20794 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3516-3516 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3517-3517 The number 2 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13559-13559 The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3031-3031 The number 2 argument of conversionEvent is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1677-1677 The number 1 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1678-1678 The number 2 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2344-2344 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 15634-15634 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3823-3823 The number 1 argument of event partly located is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4534-4534 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2358-2358 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4027-4027 The number 2 argument of experimental control (process) is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4074-4074 The number 2 argument of experimental variable (process) is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4094-4094 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2371-2371 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2314-2314 The number 1 argument of involved in event is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1636-1636 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2382-2382 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2395-2395 The number 1 argument of patient is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21140-21140 The number 3 argument of plays role in event is an instance of process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21157-21163
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16063-16067
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16069-16078
No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-537
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13542-13555
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3005-3013
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21418-21423
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1700-1722
No TPTP formula. May not be expressible in strict first order. Geography.kif 2502-2508
No TPTP formula. May not be expressible in strict first order. Merge.kif 3646-3652
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4699-4716
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4053-4064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4170-4181
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4445-4468
No TPTP formula. May not be expressible in strict first order. Geography.kif 2227-2235
No TPTP formula. May not be expressible in strict first order. Catalog.kif 97-106
No TPTP formula. May not be expressible in strict first order. Catalog.kif 87-92
No TPTP formula. May not be expressible in strict first order. Catalog.kif 136-145
No TPTP formula. May not be expressible in strict first order. Catalog.kif 129-134

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 349-362
No TPTP formula. May not be expressible in strict first order. Hotel.kif 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
No TPTP formula. May not be expressible in strict first order. emotion.kif 373-385
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4125-4136
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4699-4716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28184-28213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25170-25196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14142-14154
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18742-18751
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4626-4631
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4633-4638
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2768-2775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1379-1387
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4546-4556
No TPTP formula. May not be expressible in strict first order. Food.kif 102-110
No TPTP formula. May not be expressible in strict first order. Food.kif 120-129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16316-16328
No TPTP formula. May not be expressible in strict first order. Geography.kif 5628-5637
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2801-2810
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2100-2112
No TPTP formula. May not be expressible in strict first order. engineering.kif 1134-1146

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners