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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1660-1663
No TPTP formula. May not be expressible in strict first order. Merge.kif 1651-1659
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 1650-1650 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2583-2583 Search engine optimization is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2380-2380 The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15259-15259 The values returned by operating are subclasses of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1501-1501 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. Facebook.kif 652-652 AutomatedProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27747-27747 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21301-21301 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21321-21321 Causing unhappiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1665-1665 Checkout is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1340-1340 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1665-1665 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10382-10382 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12363-12363 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10835-10835 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10379-10379 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 1678-1678 SingleAgentProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1794-1794 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 538-538 "process" is the printable form of process in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 527-527 "processus" is the printable form of process in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 58-58 "prakriyaa" is the printable form of process in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 59-59 "Processo" is the printable form of process in italian language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2379-2379 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 580-580 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 594-594 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2554-2554 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 20401-20401 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3870-3870 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3871-3871 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 13300-13300 The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3034-3034 The number 2 argument of conversionEvent is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1664-1664 The number 1 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1665-1665 The number 2 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2567-2567 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 17111-17111 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4191-4191 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 4529-4529 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2584-2584 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4021-4021 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 4068-4068 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 4483-4483 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2599-2599 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2535-2535 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 1764-1764 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2613-2613 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2628-2628 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 20747-20747 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 20764-20770
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 518-533
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3010-3018
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4553-4570
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 21025-21030
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1704-1726
No TPTP formula. May not be expressible in strict first order. Geography.kif 2490-2496
No TPTP formula. May not be expressible in strict first order. Merge.kif 4012-4018
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4694-4709
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4047-4058
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4164-4175
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4440-4463
No TPTP formula. May not be expressible in strict first order. Geography.kif 2215-2223
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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 840-863
No TPTP formula. May not be expressible in strict first order. Hotel.kif 541-558

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. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. emotion.kif 371-383
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4119-4130
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4694-4709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27749-27778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24728-24754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13882-13894
No TPTP formula. May not be expressible in strict first order. Hotel.kif 372-392
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18322-18331
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4621-4626
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 2771-2778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1384-1392
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4541-4551
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 121-130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15897-15909
No TPTP formula. May not be expressible in strict first order. Geography.kif 5613-5622
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2804-2813
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2095-2107
No TPTP formula. May not be expressible in strict first order. engineering.kif 1144-1156

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