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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Process

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 1527-1535
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6795-6795
No TPTP formula. May not be expressible in strict first order. Merge.kif 1526-1526 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. ComputingBrands.kif 4435-4435 The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15586-15586 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 28218-28218 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21731-21731 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21751-21751 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 1213-1213 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1537-1537 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9867-9867 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11665-11665 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10283-10283 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9863-9863 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 1550-1550 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 909-909

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 2334-2334 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 20831-20831 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3637-3637 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3638-3638 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 13585-13585 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 2345-2345 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 15754-15754 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3944-3944 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 2359-2359 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 4225-4225 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2372-2372 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2315-2315 The number 1 argument of involved in event is an instance of process
No TPTP formula. May not be expressible in strict first order. Law.kif 236-236 The number 1 argument of judge 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 2383-2383 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2396-2396 The number 1 argument of patient 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 21194-21200
No TPTP formula. May not be expressible in strict first order. Weather.kif 1131-1145
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 16089-16093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16095-16104
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 13568-13581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3011-3019
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 21455-21460
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 3767-3773
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

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 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
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. 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 28220-28249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25207-25233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14168-14180
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 18768-18777
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 1385-1393
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 54-62
No TPTP formula. May not be expressible in strict first order. Food.kif 72-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16342-16354
No TPTP formula. May not be expressible in strict first order. Geography.kif 5627-5636
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 1138-1150

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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