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...

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 1532-1540
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 1531-1531 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2582-2582 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 15588-15588 The values returned by operating are subclasses of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1499-1499 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 28226-28226 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21737-21737 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21757-21757 Causing unhappiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1663-1663 Checkout is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1217-1217 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1542-1542 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9887-9887 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11685-11685 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10303-10303 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9883-9883 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 1555-1555 SingleAgentProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1793-1793 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 16091-16091 The number 2 argument of DepartmentOfPreventingFn 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 2339-2339 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 20837-20837 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3642-3642 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3643-3643 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 13587-13587 The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3033-3033 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 2350-2350 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 15788-15788 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3949-3949 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 4536-4536 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2364-2364 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4029-4029 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 4076-4076 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 4230-4230 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2377-2377 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2320-2320 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 1641-1641 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2388-2388 The number 1 argument of origin 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 21200-21206
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 16094-16098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16100-16109
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 13570-13583
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 4560-4577
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 21461-21466
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1702-1724
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 3772-3778
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4701-4718
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4055-4066
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4172-4183
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4447-4470
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 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 4127-4138
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4701-4718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25213-25239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14170-14182
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 18774-18783
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 4628-4633
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4635-4640
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2770-2777
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 4548-4558
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 16347-16359
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5729
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2803-2812
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