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 1537-1545
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 1536-1536 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 2393-2393 The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4479-4479 The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17250-17250 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 29378-29378 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23176-23176 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23197-23197 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 1246-1246 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1547-1547 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10112-10112 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12040-12040 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7571-7571 LargeGroupProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10604-10604 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10108-10108 Natural process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2067-2067 Power generation is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1560-1560 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 2392-2392 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 17722-17722 The number 2 argument of DepartmentOfPreventingFn is an instance of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 392-392 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 406-406 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2345-2345 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 22307-22307 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3655-3655 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3656-3656 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 15302-15302 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 1677-1677 The number 1 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1678-1678 The number 2 argument of coordinates is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2356-2356 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16311-16311 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3964-3964 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 4537-4537 The number 2 argument of exclusive is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2370-2370 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4032-4032 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 4079-4079 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 4245-4245 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2383-2383 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2326-2326 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 1646-1646 The number 1 argument of manner is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2394-2394 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 22647-22653
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17725-17729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17731-17740
No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15285-15298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2482-2490
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. Merge.kif 7275-7279
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 22901-22906
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 2547-2553
No TPTP formula. May not be expressible in strict first order. Merge.kif 3787-3793
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4702-4719
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4058-4069
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4175-4186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4448-4471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30655-30662
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30664-30671
No TPTP formula. May not be expressible in strict first order. Geography.kif 2272-2280
No TPTP formula. May not be expressible in strict first order. Catalog.kif 97-106

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 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4130-4141
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4702-4719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29380-29410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26315-26341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15935-15947
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20353-20362
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 4629-4634
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4636-4641
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 937-945
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4549-4559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30057-30077
No TPTP formula. May not be expressible in strict first order. Merge.kif 1137-1145
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 17969-17981
No TPTP formula. May not be expressible in strict first order. Geography.kif 5838-5847
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2806-2815
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2127-2139

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