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 1563-1571
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 1562-1562 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 2412-2412 The range of aborted is an instance of process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4478-4478 The values returned by FailureFn are subclasses of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17277-17277 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 29406-29406 BreakingRecord is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23204-23204 Causing happiness is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23225-23225 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 1272-1272 Content bearing process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1573-1573 Dual object process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10391-10391 Intentional process is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12354-12354 Internal change is a subclass of process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7597-7597 LargeGroupProcess is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10883-10883 Motion is a subclass of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10387-10387 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 1586-1586 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 2411-2411 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 17749-17749 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 410-410 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 424-424 The number 1 argument of stop is an instance of process
No TPTP formula. May not be expressible in strict first order. Law.kif 593-593 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 2373-2373 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 22335-22335 The number 1 argument of benefits is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3697-3697 The number 1 argument of causes is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3698-3698 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 15329-15329 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 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 2384-2384 The number 1 argument of destination is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16657-16657 The number 1 argument of direction is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4006-4006 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 2398-2398 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 4301-4301 The number 1 argument of hinders is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2411-2411 The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2354-2354 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 1672-1672 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 22675-22681
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 17752-17756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17758-17767
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 15312-15325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2501-2509
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 7414-7418
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 22929-22934
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 2564-2570
No TPTP formula. May not be expressible in strict first order. Merge.kif 3829-3835
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 30683-30690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30692-30699
No TPTP formula. May not be expressible in strict first order. Geography.kif 2283-2293
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 2515-2529
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 29408-29438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26343-26369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15962-15974
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 20380-20389
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 955-963
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 30085-30105
No TPTP formula. May not be expressible in strict first order. Merge.kif 1168-1176
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 17996-18008
No TPTP formula. May not be expressible in strict first order. Geography.kif 5928-5937
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 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