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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1678-1681
No TPTP formula. May not be expressible in strict first order. Merge.kif 1669-1677
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 1668-1668 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 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 15560-15560 The values returned by operating are subclasses of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1500-1500 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 28188-28188 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21693-21693 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21713-21713 Causing unhappiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1664-1664 Checkout is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1357-1357 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1683-1683 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10520-10520 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12500-12500 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10973-10973 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10517-10517 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 1696-1696 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 "过程" is the printable form of process in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 614-614 "process" is the printable form of process in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 615-615 "工程" is the printable form of process in japanese language

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 2577-2577 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 20793-20793 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3893-3893 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3894-3894 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 13560-13560 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 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 2590-2590 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 17249-17249 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4222-4222 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 4528-4528 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2607-2607 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4020-4020 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 4067-4067 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 4514-4514 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2622-2622 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2558-2558 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 1787-1787 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2636-2636 The number 1 argument of origin is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2651-2651 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 21139-21139 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 21156-21162
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 13543-13556
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 4552-4569
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 21417-21422
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
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 4039-4045
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4693-4708
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4046-4057
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4163-4174
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4439-4462
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. MilitaryProcesses.kif 2483-2497
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4118-4129
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4693-4708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28190-28219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25169-25195
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 372-392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18741-18750
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 4620-4625
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4627-4632
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 1384-1392
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4540-4550
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 16228-16240
No TPTP formula. May not be expressible in strict first order. Geography.kif 5612-5621
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 2095-2107
No TPTP formula. May not be expressible in strict first order. engineering.kif 1134-1146
No TPTP formula. May not be expressible in strict first order. Cars.kif 2505-2518
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4406-4421

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