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. chinese_format.kif 1698-1701
No TPTP formula. May not be expressible in strict first order. Merge.kif 1582-1590
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 1581-1581 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 17704-17704 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 29941-29941 Breaking record is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23730-23730 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23751-23751 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 1291-1291 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1592-1592 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10441-10441 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12454-12454 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7887-7887 Large group process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10950-10950 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10437-10437 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 1605-1605 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 2392-2392 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 22861-22861 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3728-3728 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3729-3729 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 15750-15750 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 2403-2403 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16792-16792 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4037-4037 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 2417-2417 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 4332-4332 The number 1 argument of hinders 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 instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2373-2373 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 1691-1691 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2441-2441 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 23201-23207
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 18182-18187
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 15733-15746
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 7449-7453
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 23455-23460
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 3860-3866
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 31224-31231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31233-31240
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 29945-29975
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 26888-26914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16384-16396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31224-31231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31233-31240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20847-20861
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 30622-30642
No TPTP formula. May not be expressible in strict first order. Merge.kif 1187-1195
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 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 3.0 is open source software produced by Articulate Software and its partners