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 1623-1631
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 6794-6794
No TPTP formula. May not be expressible in strict first order. Merge.kif 1622-1622 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 4515-4515 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 17885-17885 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 30026-30026 Breaking record is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23764-23764 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23785-23785 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 1319-1319 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1633-1633 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10486-10486 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12592-12592 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7928-7928 Large group process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11013-11013 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10482-10482 Natural process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2063-2063 Power generation is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1646-1646 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 904-904
No TPTP formula. May not be expressible in strict first order. french_format.kif 527-527
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 58-58

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 421-421 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 435-435 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Law.kif 545-545 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 2433-2433 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 22912-22912 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3778-3778 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3779-3779 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 15904-15904 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 2444-2444 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16938-16938 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4096-4096 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 2458-2458 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 4391-4391 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2471-2471 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2414-2414 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 1732-1732 The number 1 argument of manner 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 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 23252-23258
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 18401-18406
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 15887-15900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2546-2554
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 7510-7514
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 23506-23511
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 2561-2567
No TPTP formula. May not be expressible in strict first order. Merge.kif 3910-3916
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 31316-31323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31325-31332
No TPTP formula. May not be expressible in strict first order. Geography.kif 2280-2290
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 3923-3934
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 4501-4518
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
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 26973-26999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16542-16554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31316-31323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31325-31332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21066-21080
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 998-1006
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 30707-30727
No TPTP formula. May not be expressible in strict first order. Merge.kif 1216-1224
No TPTP formula. May not be expressible in strict first order. Food.kif 1660-1669

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