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, additionally, addle, address, adiabatic_process, adjoin, adjournment, adjustment, adopt, adulteration, advance, advent, aetiology, affect, affinity, affirm, affix...

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 1633-1641
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 296-301
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6793-6793
No TPTP formula. May not be expressible in strict first order. Merge.kif 1632-1632 Process is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2375-2375 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 4510-4510 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 19456-19456 The values returned by operating are subclasses of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1303-1303 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 31918-31918 Breaking record is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25410-25410 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25431-25431 Causing unhappiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1457-1457 Checkout is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1329-1329 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1643-1643 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10624-10624 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12746-12746 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9095-9095 Large group process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11151-11151 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10620-10620 Natural process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2303-2303 Power generation is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1656-1656 Single agent process is a subclass of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1587-1587 Watch item is a subclass of process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 851-851 Watch item is a subclass of process
No TPTP formula. May not be expressible in strict first order. english_format.kif 904-904 Watch item is a subclass of process
No TPTP formula. May not be expressible in strict first order. french_format.kif 527-527 Watch item is a subclass of process
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 58-58 Watch item is a subclass of process

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 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 414-414 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 428-428 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Law.kif 551-551 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 2444-2444 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 24553-24553 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3793-3793 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3794-3794 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 17291-17291 The number 2 argument of commentator is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2826-2826 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 2455-2455 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 17113-17113 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4139-4139 The number 1 argument of event located is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4115-4115 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 4333-4333 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2469-2469 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3825-3825 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 3872-3872 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 4417-4417 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2482-2482 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2425-2425 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 193-193 The number 1 argument of judge is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1742-1742 The number 1 argument of manner 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 24893-24899
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 19972-19977
No TPTP formula. May not be expressible in strict first order. Hotel.kif 847-868
No TPTP formula. May not be expressible in strict first order. Hotel.kif 548-563
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 17274-17287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3009-3017
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4357-4374
No TPTP formula. May not be expressible in strict first order. Merge.kif 7554-7558
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 25147-25152
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1496-1518
No TPTP formula. May not be expressible in strict first order. Geography.kif 2686-2692
No TPTP formula. May not be expressible in strict first order. Merge.kif 3923-3929
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4501-4518
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3851-3862
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3968-3979
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4241-4267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33261-33268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33270-33277
No TPTP formula. May not be expressible in strict first order. Geography.kif 2405-2415
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 815-836
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2550-2564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3923-3934
No TPTP formula. May not be expressible in strict first order. Cars.kif 3508-3537
No TPTP formula. May not be expressible in strict first order. Cars.kif 3450-3478
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4501-4518
No TPTP formula. May not be expressible in strict first order. Biography.kif 287-303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31922-31952
No TPTP formula. May not be expressible in strict first order. Cars.kif 3592-3613
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28872-28898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17929-17941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33261-33268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33270-33277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22683-22697
No TPTP formula. May not be expressible in strict first order. Economy.kif 6890-6898
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 4432-4437
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2563-2570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 991-999
No TPTP formula. May not be expressible in strict first order. Economy.kif 1031-1052
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4345-4355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32641-32661

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