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 1571-1579
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 1570-1570 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2585-2585 Search engine optimization is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2412-2412 The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4478-4478 The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17356-17356 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 29530-29530 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23313-23313 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23334-23334 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 1280-1280 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1581-1581 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10404-10404 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12369-12369 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7643-7643 LargeGroupProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10896-10896 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10400-10400 Natural process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2074-2074 Power generation is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1594-1594 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 904-904

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2411-2411 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 416-416 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 430-430 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Law.kif 593-593 The number 3 argument of age of majority for process is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2381-2381 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 22444-22444 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3705 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3706-3706 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 15404-15404 The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3036-3036 The number 2 argument of conversionEvent is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1696-1696 The number 1 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1697-1697 The number 2 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2392-2392 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16685-16685 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4014-4014 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 4539-4539 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2406-2406 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4034-4034 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 4081-4081 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 4309-4309 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2362-2362 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 1680-1680 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2430-2430 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 22784-22790
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17836-17841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15387-15400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2509-2517
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4580
No TPTP formula. May not be expressible in strict first order. Merge.kif 7422-7426
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 23038-23043
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 2564-2570
No TPTP formula. May not be expressible in strict first order. Merge.kif 3837-3843
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4704-4721
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4060-4071
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4177-4188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4450-4473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30813-30820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30822-30829
No TPTP formula. May not be expressible in strict first order. Geography.kif 2283-2293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 98-107
No TPTP formula. May not be expressible in strict first order. Catalog.kif 88-93

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 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2515-2529
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4132-4143
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4704-4721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29534-29564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26459-26485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16037-16049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30813-30820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30822-30829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20470-20484
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 4631-4636
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4638-4643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2773-2780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 965-973
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4551-4561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30211-30231
No TPTP formula. May not be expressible in strict first order. Merge.kif 1176-1184
No TPTP formula. May not be expressible in strict first order. Food.kif 54-63
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18080-18092
No TPTP formula. May not be expressible in strict first order. Geography.kif 5928-5937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2806-2815

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