Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationalProcess

 Sigma KEE - OrganizationalProcess
OrganizationalProcess(organizational process)acceptance_sampling, act, ad_blitz, ad_campaign, advertising_campaign, affiance, affiliate, affiliation, allotted, anodise, anodize, appointed, appointive, assigned, assignment, bank, bank_closing, betroth, brigade, centralised, centralized, charge, cheerlead, choose_up, clampdown, clock_in, clock_on, closure, cloture, co-opt, co-sign, collectivise, collectivize, commission, confirm, consolidate, convene, cosign, criminalisation, criminalization, criticise, criticize, cross-file, da'wah, dawah, decentralised, decentralized, decriminalisation, decriminalization, demob...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2942-2942
No TPTP formula. May not be expressible in strict first order. Merge.kif 9938-9939
No TPTP formula. May not be expressible in strict first order. Merge.kif 9936-9936 Organizational process is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13962-13962 Beginning operations is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2237-2237 Car distribution system is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14000-14000 Ceasing operations is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9952-9952 Election is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1322-1322 Founding is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9974-9974 Joining an organization is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14494-14494 Labor striking is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9989-9989 Leaving an organization is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10132-10132 Managing is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10117-10117 Military process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13975-13975 Organizational merging is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10058-10058 Political process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1374-1374 Public program is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9958-9958 Religious process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14526-14526 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1094-1094
No TPTP formula. May not be expressible in strict first order. english_format.kif 1404-1404

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3225-3225 The number 3 argument of after tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3242-3242 The number 3 argument of before tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3191-3191 The number 3 argument of income earned is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3205-3205 The number 3 argument of tax deferred income is an instance of organizational process

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9941-9950


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