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 1600-1608
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 1599-1599 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2581-2581 Search engine optimization is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2413-2413 The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4513-4513 The values returned by failure fn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17705-17705 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 Agent patient process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29942-29942 Breaking record is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23731-23731 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23752-23752 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 1309-1309 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1610-1610 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10438-10438 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12451-12451 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7888-7888 Large group process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10947-10947 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10434-10434 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 1623-1623 Single agent process 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 904-904

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2412-2412 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 592-592 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 2410-2410 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 22862-22862 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3755-3755 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3756-3756 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 15751-15751 The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3032-3032 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 2421-2421 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16789-16789 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4073-4073 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 2435-2435 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4031-4031 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 4078-4078 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 4368-4368 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2448-2448 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2391-2391 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 1709-1709 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 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 23202-23208
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 18183-18188
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 15734-15747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2511-2519
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 7477-7481
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 23456-23461
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 2566-2572
No TPTP formula. May not be expressible in strict first order. Merge.kif 3887-3893
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4706-4723
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4057-4068
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4174-4185
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4447-4473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31225-31232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31234-31241
No TPTP formula. May not be expressible in strict first order. Geography.kif 2285-2295
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 2516-2530
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4129-4140
No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3417
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4706-4723
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29946-29976
No TPTP formula. May not be expressible in strict first order. Cars.kif 3531-3552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26889-26915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16385-16397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31225-31232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31234-31241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20848-20862
No TPTP formula. May not be expressible in strict first order. Dining.kif 956-980
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 2769-2776
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 30623-30643
No TPTP formula. May not be expressible in strict first order. Merge.kif 1205-1213
No TPTP formula. May not be expressible in strict first order. Food.kif 54-63

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